Abstract is missing.
- Securely Optimized (Ethereum) Smart Contracts Using Formal MethodsElvira Albert, Samir Genaim, Pablo Gordillo, Alejandro Hernández-Cerezo, Enrique Martin-Martin, Albert Rubio. 3-11 [doi]
- Attack Resilience Hyperproperties: Formal Security Analysis of (Automotive) Network Architectures Under Active CompromiseJulius Figge, David Knuplesch, Andreas Maletti, Dragan Zuvic. 15-33 [doi]
- Reachability Analysis of Upper-Stack Manipulating Binary CodeShijie Lin, Tayssir Touili. 34-51 [doi]
- Resilience of Systems Under Maximum Component DeviationsAbigail Hammer, Changjian Zhang, Vick Dini, Ryan Wagner, Bradley R. Schmerl, Eunsuk Kang, David Garlan. 52-70 [doi]
- Axiomatisation of Solidity Memory and StorageGuilherme Horta Alvares Da Silva, Wolfgang Ahrendt, Richard Bubel. 73-90 [doi]
- ProbTest: Unit Testing for Probabilistic ProgramsKatrine Christensen, Mahsa Varshosaz, Raúl Pardo. 91-109 [doi]
- Observable Semantics for Characterising Consistency Between Heterogeneous ModelsHenriette Färber, Romain Pascual, Terru Stübinger, Mattias Ulbrich. 110-128 [doi]
- Certificates and Witnesses for Multi-objective ømega-Regular Queries in Markov Decision ProcessesChristel Baier, Calvin Chau, Volodymyr Drobitko, Simon Jantsch, Sascha Klüppelholz. 129-147 [doi]
- On the Generation of Invalid Objects for Inferring More Precise Class InvariantsJan H. Boockmann, Kerstin Jacob, Gerald Lüttgen. 148-156 [doi]
- A Rodin Plugin for Generating Proof Obligations for Invariant Preservation for ASTDsQuelen Cartellier, Marc Frappier, Amel Mammar. 157-164 [doi]
- Detecting Memory Errors in Rust Programs Including Unsafe Foreign CodeAndrea Franceschi, Letterio Galletta, Pierpaolo Degano. 167-184 [doi]
- Are Users More Willing to Use Formally Verified Password Managers?Carolina Carreira, João F. Ferreira 0001, Alexandra Mendes, Nicolas Christin. 185-202 [doi]
- Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with DafnyCarolina Carreira, Álvaro F. Silva, Alexandre Abreu, Alexandra Mendes. 203-220 [doi]
- On the Comparison of Learned ClassifiersSoaibuzzaman, Jenny Döring, Srinivasulu Kasi, Jan Oliver Ringert. 223-240 [doi]
- Exploring Unknown Environments with Uppaal Stratego: Safe Reinforcement Learning for Navigation and Pump LocalizationMagnus Kallestrup Axelsen, Martin Kristjansen, Kim Guldstrand Larsen, Thomas Grubbe Sandborg Lauritsen. 241-260 [doi]
- Specification-Guided Repair of Arithmetic Errors in Dafny Programs Using LLMsValentina Wu, Alexandra Mendes, Alexandre Abreu. 261-278 [doi]