|Sun 22 Oct 2023 Cascais, Portugal|
FTSCS 2023 with SPLASH 2023
9th ACM International Workshop on Formal Techniques for Safety-Critical Systems Cascais, Portugal, October 22, 2023 https://2023.splashcon.org/home/ftscs-2023 Submission deadline extended to July 21 ACM Digital Library proceedings Science of Computer Programming special issue (to be confirmed) Aims and Scope: There is an increasing demand for using formal methods to validate and verify safety-critical sy ...
|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 ...