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)

Frontmatter

Title Page
Article: splashws22ftscsforeword-fm000-p doi:
Welcome from the Chairs
Article: splashws22ftscsforeword-fm001-p doi:

Invited Talk

Cooperative Verification: Towards Reliable Safety-Critical Systems (Invited Talk)
Dirk Beyer
(LMU Munich, Germany)
Publisher's Version Article: splashws22ftscsmain-key1-p doi:10.1145/3563822.3572548

Time and State

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

Distributed and Embedded Systems

Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic Search
Byeongjee Kang and Kyungmin Bae
(POSTECH, South Korea)
Publisher's Version Article: splashws22ftscsmain-p14-p doi:10.1145/3563822.3568017
Proving Memory Access Violations in Isabelle/HOL
Sharar Ahmadi, Brijesh Dongol, and Matt Griffin
(University of Surrey, UK)
Publisher's Version Published Artifact Artifacts Available Article: splashws22ftscsmain-p3-p doi:10.1145/3563822.3568010
Bounded Model Checking of PLC ST Programs using Rewriting Modulo SMT
Jaeseo Lee, Sangki Kim, and Kyungmin Bae
(POSTECH, South Korea)
Publisher's Version Article: splashws22ftscsmain-p13-p doi:10.1145/3563822.3568016

Applications of Formal Methods

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

proc time: 0.02