[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