Abstract is missing.
- BIRD: A Binary Intermediate Representation for Formally Verified Decompilation of X86-64 BinariesDaniel Engel, Freek Verbeek, Binoy Ravindran. 3-20 [doi]
- Low-Level Reachability Analysis Based on Formal LogicNico Naus, Freek Verbeek, Marc Schoolderman, Binoy Ravindran. 21-39 [doi]
- Testing a Formally Verified CompilerDavid Monniaux, Léo Gourdin, Sylvain Boulmé, Olivier Lebeltel. 40-48 [doi]
- Certified Logic-Based Explainable AI - The Case of Monotonic ClassifiersAurélie Hurault, João Marques-Silva 0001. 51-67 [doi]
- Context Specification Language for Formally Verifying Consent Properties on Models and CodeMyriam Clouet, Thibaud Antignac, Mathilde Arnaud, Julien Signoles. 68-93 [doi]
- Proving Properties of Operation Contracts with Test ScenariosMartin Gogolla, Lars Hamann. 97-107 [doi]
- Testing Languages with a Languages-as-Databases ApproachMatteo Cimini. 108-126 [doi]
- Symbolic Observation Graph-Based Generation of Test PathsKais Klai, Mohamed Taha Bennani, Jaime Arias 0001, Jörg Desel, Hanen Ochi. 127-146 [doi]
- Slow Down, Move Over: A Case Study in Formal Verification, Refinement, and Testing of the Responsibility-Sensitive Safety Model for Self-Driving CarsMegan Strauss, Stefan Mitsch. 149-167 [doi]
- Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion CheckingThibaut Benajmin, Julien Signoles. 168-186 [doi]