One of th e main issues behind many failing systems is the a d-hoc verification approach that involves a variet y of formalism and techniques for the modeling and analysis of various components of the present-age (cyber)-physical systems. The fundamental differe nces between these modeling and analysis technique s limit us to analyze the whole system as one unit and thus miss many corner cases, which arise due to the operation of all the sub-components of the system together. One of the major concerns is that , despite the above-mentioned evident limitation i n the analysis methods, many safety-critical syste ms, such as aerospace, smart-transportation, smart -grid and e-health, are increasingly involving phy sical elements. Moreover, we are moving towards in tegrating more complex physical elements in our en gineering systems. Finally, the impact of physical components is relevant to both the safety and sec urity of the overall system.
\n\nThe objec tive of the workshop is to gather scientists and e ngineers interested in formal verification techniq ues for the modeling, analysis, and verification o f safety and security critical physical systems.\n
We encourage submissions on interdisciplinary approaches that bring together f ormal methods and techniques from other knowledge areas such as quantum computing, control theory, b iology, optimization theory, and artificial intell igence. There are two categories of submissions: R egular papers describing developed work with theor etical or experimental results (upto 15 pages) Sho rt papers on experience reports, tools or work in progress with preliminary results or just new idea s for discussion (upto 6 pages)
\n