Abstract is missing.
- On the Existence of Unions of Timed ScenariosNeda Saeedloei. 3-21 [doi]
- SMTQuery: Analysing SMT-LIB String BenchmarksMitja Kulczynski, Kevin Lotz, Florin Manea, Danny Bøgsted Poulsen, Paul Sarnighausen-Cahn. 22-34 [doi]
- Autonomous Vehicles Path Planning Under Temporal Logic SpecificationsAkshay Dhonthi, Nicolas Schischka, Ernst Moritz Hahn, Vahid Hashemi. 35-45 [doi]
- A CSP Semantics for UML State Machines Aiming at Hidden Formal Methods VerificationDiego Ferreira, Lucas Lima 0001. 49-67 [doi]
- Verifying Integrated Designs of UML State Machines and Activities Using CSPDiego Ferreira, Lucas Lima 0001. 68-85 [doi]
- An Integrated Framework for Analysing, Simulating and Testing UML ModelsGustavo Carvalho, José Dihego, Augusto Sampaio 0001. 86-104 [doi]
- Brzozowski's Algorithm for Automata Minimization Verified in CoqFilipe Ramos, Karina Girardi Roggia, Rafael Castro G. Silva. 107-119 [doi]
- Soundness-Preserving Fusion of Modal Logics in CoqMiguel Alfredo Nunes, Karina Girardi Roggia, Paulo Torrens. 120-138 [doi]
- Formally Verified Implementation of the K-Nearest Neighbors Classification AlgorithmBernny Velasquez, Jessica Herring, Nadeem Abdul Hamid. 139-152 [doi]
- Formal Verification of Forward Secrecy and Post-Compromise Security for TreeKEMAlex J. Washburn, Subash Shankar. 155-170 [doi]
- Formal Privacy Analyses for Open BankingLuigi Soares, Mário S. Alvim, Di Bu, Natasha Fernandes, Yin Liao. 171-193 [doi]
- Trusted Deployer: A Tool for Safe Creation and Upgrade of Ethereum Smart ContractsJuliandson Ferreira, Pedro Antonino, Augusto Sampaio 0001, A. W. Roscoe 0001, Filipe Arruda. 194-204 [doi]