Abstract is missing.
- Cooperative Verification: Towards Reliable Safety-Critical Systems (Invited Talk)Dirk Beyer 0001. 1-2 [doi]
- Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed AutomataJaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming. 3-15 [doi]
- Q: A Sound Verification Framework for Statecharts and Their ImplementationsSamuel D. Pollard, Robert C. Armstrong, John Bender, Geoffrey C. Hulette, Raheel S. Mahmood, Karla Morris, Blake C. Rawlings, Jon M. Aytac. 16-26 [doi]
- strategFTO: Untimed Control for Timed OpacityÉtienne André, Shapagat Bolat, Engel Lefaucheux, Dylan Marinho. 27-33 [doi]
- Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic SearchByeongjee Kang, Kyungmin Bae. 34-44 [doi]
- Proving Memory Access Violations in Isabelle/HOLSharar Ahmadi, Brijesh Dongol, Matt Griffin. 45-55 [doi]
- Bounded Model Checking of PLC ST Programs using Rewriting Modulo SMTJaeseo Lee, Sangki Kim, Kyungmin Bae. 56-67 [doi]
- Synchronous Programming and Refinement Types in Robotics: From Verification to ImplementationJiawei Chen, José Luiz Vargas de Mendonça, Shayan Jalili, Bereket Ayele, Bereket Ngussie Bekele, Zhemin Qu, Pranjal Sharma, Tigist Shiferaw, Yicheng Zhang, Jean-Baptiste Jeannin. 68-79 [doi]
- Formal Probabilistic Risk Assessment of a Nuclear Power PlantMohamed AbdelGhany, Sofiène Tahar. 80-87 [doi]
- Modelling a Blockchain for Smart Contract Verification using DeepSEADaniel Britten, Steve Reeves. 88-94 [doi]