|Mon 5 - Sat 10 December 2022 Auckland, New Zealand|
FTSCS 2022 with SPLASH 2022
There is an increasing demand for using formal methods to validate and verify safety-critical systems in fields such as power generation and distribution, avionics, automotive systems, and medical systems. In particular, newer standards, such as DO-178C (avionics), ISO 26262 (automotive systems), IEC 62304 (medical devices), and CENELEC EN 50128 (railway systems), emphasize the need for formal methods and model-b ...
Elisa BaniassadSteering Committee Chair
University of British Columbia
National University of Singapore
Northeastern University, United States