Abstract is missing.
- Multi-purpose Syntax Definition with SDF3Luis Eduardo de Souza Amorim, Eelco Visser. 1-23 [doi]
- Finding and Fixing a Mismatch Between the Go Memory Model and Data-Race Detector - A Story on Applied Formal MethodsDaniel Schnetzer Fava. 24-40 [doi]
- Formal Verification of COLREG-Based Navigation of Maritime Autonomous SystemsFatima Shokri-Manninen, Jüri Vain, Marina Waldén. 41-59 [doi]
- End-to-End Verification of Initial and Transition Properties of GR(1) Designs in SPARKLaura R. Humphrey, James Hamil, Joffrey Huguet. 60-76 [doi]
- Affine Systems of ODEs in Isabelle/HOL for Hybrid-Program VerificationJonathan Julián Huerta y Munive. 77-92 [doi]
- Interoperability and Integration Testing Methods for IoT Systems: A Systematic Mapping StudyMiroslav Bures, Matej Klima, Vaclav Rechtberger, Xavier J. A. Bellekens, Christos Tachtatzis, Robert C. Atkinson, Bestoun S. Ahmed. 93-112 [doi]
- FRed: Conditional Model Checking via Reducers and FoldersDirk Beyer 0001, Marie-Christine Jakobs. 113-132 [doi]
- Difference Verification with ConditionsDirk Beyer 0001, Marie-Christine Jakobs, Thomas Lemberger 0002. 133-154 [doi]
- A Formal Modeling Approach for Portable Low-Level OS FunctionalityRenata Martins Gomes, Bernhard K. Aichernig, Marcel Baunach. 155-174 [doi]
- Model-Based Testing Under Parametric Variability of Uncertain BeliefsMatteo Camilli, Barbara Russo. 175-192 [doi]
- Hoare-Style Logic for Unstructured ProgramsDidrik Lundberg, Roberto Guanciale, Andreas Lindner, Mads Dam. 193-213 [doi]
- Synthesis of P-Stable AbstractionsAnna Becchi, Alessandro Cimatti, Enea Zaffanella. 214-230 [doi]
- Runtime Verification of Contracts with ThemulusAlberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace. 231-246 [doi]
- Sound C Code Decompilation for a Subset of x86-64 BinariesFreek Verbeek, Pierre Olivier, Binoy Ravindran. 247-264 [doi]
- Statically Checking REST API ConsumersNuno Burnay, Antónia Lopes, Vasco T. Vasconcelos. 265-283 [doi]
- A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and AnalysisAntoine El-Hokayem, Saddek Bensalem, Marius Bozga, Joseph Sifakis. 284-302 [doi]
- Formal Verification of Human-Robot Interaction in Healthcare ScenariosLivia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi. 303-324 [doi]