FTSCS 2023 – Proceedings

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

Frontmatter

Invited Talk

Bounded STL Model Checking for Hybrid Systems (Invited Talk)
Kyungmin Bae
(Pohang University of Science and Technology, Republic of Korea)

Publisher's Version Article: splashws23ftscsmain-key1-p doi:10.1145/3623503.3628255

Papers

Formal Verification of a Mechanical Ventilator using UPPAAL
Jaime Cuartas, David Cortés, Joan S. Betancourt, Jesús Aranda, José I. García, Andrés M. Valencia, and James Ortiz
(Universidad del Valle, Colombia; University of Namur, Belgium)

Publisher's Version Article: splashws23ftscsmain-p6-p doi:10.1145/3623503.3623536

Symbolic Analysis by Using Folding Narrowing with Irreducibility and SMT Constraints
Santiago Escobar, Raúl López-Rueda, and Julia Sapiña
(Universitat Politècnica de València, Spain)

Publisher's Version Article: splashws23ftscsmain-p7-p doi:10.1145/3623503.3623537

Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains
Mario Gleirscher, Anne E. Haxthausen, and Jan Peleska
(University of Bremen, Germany; DTU, Denmark)

Publisher's Version Article: splashws23ftscsmain-p1-p doi:10.1145/3623503.3623533

Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library
Aïssata Maiga, Cyrille Artho, Florian Gilcher, and Yannick Moy
(KTH Royal Institute of Technology, Sweden; Ferrous Systems, Germany; AdaCore, France)

Publisher's Version Article: splashws23ftscsmain-p2-p doi:10.1145/3623503.3623534

Solving Queries for Boolean Fault Tree Logic via Quantified SAT
Caz Saaltink, Stefano M. Nicoletti, Matthias Volk, Ernst Moritz Hahn, and Mariëlle Stoelinga
(University of Twente, Netherlands; Radboud University Nijmegen, Netherlands)

Publisher's Version Published Artifact Artifacts Available Article: splashws23ftscsmain-p5-p doi:10.1145/3623503.3623535

proc time: 0.01