Abstract is missing.
- The 2020 Expert Survey on Formal MethodsHubert Garavel, Maurice H. ter Beek, Jaco van de Pol. 3-69 [doi]
- Verifiable and Scalable Mission-Plan Synthesis for Autonomous AgentsRong Gu, Eduard Enoiu, Cristina Seceleanu, Kristina Lundqvist. 73-92 [doi]
- Skylines for Symbolic Energy Consumption AnalysisMarkus Klinik, Bernard van Gastel, Cynthia Kop, Marko C. J. D. van Eekelen. 93-112 [doi]
- Formally Verified Timing Computation for Non-deterministic Horizontal Turns During Aircraft Collision Avoidance ManeuversYanni Kouskoulas, Thyago J. Machado, Daniel Genin. 113-129 [doi]
- An Actor-Based Approach for Security Analysis of Cyber-Physical SystemsFereidoun Moradi, Sara Abbaspour Asadollah, Ali Sedaghatbaf, Aida Causevic, Marjan Sirjani, Carolyn L. Talcott. 130-147 [doi]
- Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore ArchitectureBenjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan. 151-169 [doi]
- A Formally Verified Plasma Vertical Position Control AlgorithmMay Wu, Jessie Rosenberg, Nathan Fulton. 170-188 [doi]
- The First Twenty-Five Years of Industrial Use of the B-MethodMichael J. Butler, Philipp Körner, Sebastian Krings, Thierry Lecomte, Michael Leuschel, Luis-Fernando Mejia, Laurent Voisin. 189-209 [doi]
- A Safety Flasher Developed with the CLEARSY Safety PlatformThierry Lecomte, Bruno Lavaud, Denis Sabatier, Lilian Burdy. 210-227 [doi]
- Formal Verification of OIL Component Specifications using mCRL2Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse. 231-251 [doi]
- Temporal-Logic Query Checking over Finite Data StreamsSamuel Huang, Rance Cleaveland. 252-271 [doi]
- Verification of a Failure Management Protocol for Stateful IoT ApplicationsUmar Ozeer, Gwen Salaün, Loïc Letondeur, François-Gaël Ottogalli, Jean-Marc Vincent. 272-287 [doi]