[FM-India] AFMSS 2018
Yogananda Jeppu
yvjeppu at gmail.com
Fri Dec 1 10:37:48 IST 2017
AFMSS 2018 - 2nd Symposium on Application of Formal Methods for Safety &
Security of Critical Systems.
https://www.amrita.edu/event/afmss-2018-2nd-symposium-application-formal-methods-safety-security-critical-systems
The Department of Computer Science and Engineering, Amrita School of
Engineering, Amritapuri campus, will host the 2nd Symposium on Application
of Formal Methods for Safety & Security of Critical Systems - AFMSS 2018,
from February 26-28, 2018.
THEME
Obtaining high assurance on safety and security of computing systems is
critical in today's world that is increasingly becoming dependent on such
systems for critical functions. The aim of this workshop is to bring
together scientists and engineers working in the theory and application of
formal methods for safety-critical systems. The workshop also provides a
forum to generate awareness regarding the practical application of formal
methods.
Papers will be published in Springer LNCS series. Original and High
-Quality contributions are solicited from Industry, R&D, and Academia on a
broad range of topics listed below, but not limited to;
TOPICS
•Case Studies & Industrial Reports
•Methods, Tools & Techniques for Automated Analysis
•Certification aspects for Safety Critical Applications
•Formal Specification & Design of Software & Hardware
•Synthesizing code & generating tests from formal specifications
•Formal verification & debugging of Distributed Real-time Embedded Systems
Regards
Yoga
More information about the FMIndia
mailing list