FTSCS
All Editions
Mon 5 - Sat 10 December 2022 Auckland, New ZealandFTSCS 2022 with SPLASH 2022There 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 ... |
Steering Committee (SPLASH 2022 SPLASH-E)
Elisa BaniassadSteering Committee Chair
University of British Columbia
Canada
Charlie Curtsinger
Grinnell College
Molly Feldman
Oberlin College
United States
Kathi Fisler
Brown University
United States
Martin Henz
National University of Singapore
Singapore
Benjamin Lerner
Northeastern University, United States
United States