SPLASH Workshop/Symposium Events 2022
2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Events 2022)
Powered by
Conference Publishing Consulting

8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2022), December 7, 2022, Auckland, New Zealand

FTSCS 2022 – Proceedings

Contents - Abstracts - Authors

8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2022)


Title Page
Welcome from the Chairs

Invited Talk

Cooperative Verification: Towards Reliable Safety-Critical Systems (Invited Talk)
Dirk BeyerORCID logo
(LMU Munich, Germany)
Publisher's Version

Time and State

Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata
Jaime Arias ORCID logo, Kyungmin Bae ORCID logo, Carlos Olarte ORCID logo, Peter Csaba ÖlveczkyORCID logo, Laure Petrucci ORCID logo, and Fredrik Rømming ORCID logo
(CNRS, France; LIPN, France; Université Sorbonne Paris Nord, France; Pohang University of Science and Technology, South Korea; University of Oslo, Norway)
Publisher's Version
Q: A Sound Verification Framework for Statecharts and Their Implementations
Samuel D. PollardORCID logo, Robert C. Armstrong ORCID logo, John Bender ORCID logo, Geoffrey C. Hulette ORCID logo, Raheel S. Mahmood ORCID logo, Karla Morris ORCID logo, Blake C. Rawlings ORCID logo, and Jon M. Aytac ORCID logo
(Sandia National Laboratories, USA)
Publisher's Version Info
strategFTO: Untimed Control for Timed Opacity
Étienne AndréORCID logo, Shapagat Bolat ORCID logo, Engel Lefaucheux ORCID logo, and Dylan Marinho ORCID logo
(Université Sorbonne Paris Nord, France; LIPN, France; CNRS, France; Université de Lorraine, France; Inria, France; LORIA, France)
Publisher's Version Info

Distributed and Embedded Systems

Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic Search
Byeongjee Kang ORCID logo and Kyungmin Bae ORCID logo
(POSTECH, South Korea)
Publisher's Version Info
Proving Memory Access Violations in Isabelle/HOL
Sharar Ahmadi ORCID logo, Brijesh Dongol ORCID logo, and Matt Griffin ORCID logo
(University of Surrey, UK)
Publisher's Version
Bounded Model Checking of PLC ST Programs using Rewriting Modulo SMT
Jaeseo Lee ORCID logo, Sangki Kim ORCID logo, and Kyungmin Bae ORCID logo
(POSTECH, South Korea)
Publisher's Version Info

Applications of Formal Methods

Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation
Jiawei Chen ORCID logo, José Luiz Vargas de Mendonça ORCID logo, Shayan Jalili ORCID logo, Bereket Ayele ORCID logo, Bereket Ngussie Bekele ORCID logo, Zhemin Qu ORCID logo, Pranjal Sharma ORCID logo, Tigist Shiferaw ORCID logo, Yicheng Zhang ORCID logo, and Jean-Baptiste Jeannin ORCID logo
(University of Michigan at Ann Arbor, USA; Addis Ababa Institute of Technology, Ethiopia)
Publisher's Version
Formal Probabilistic Risk Assessment of a Nuclear Power Plant
Mohamed Abdelghany ORCID logo and Sofiène Tahar ORCID logo
(Concordia University, Canada)
Publisher's Version
Modelling a Blockchain for Smart Contract Verification using DeepSEA
Daniel Britten ORCID logo and Steve Reeves ORCID logo
(University of Waikato, New Zealand)
Publisher's Version Info

proc time: 2.03