Abstract is missing.
- The Pragmatic Dimension of Formal Methods: Towards Building a Sound SynthesiserAlexandre Mota. 1-4 [doi]
- Formal Design of Cloud Computing Systems in MaudeJosé Meseguer. 5-19 [doi]
- Source Code Analysis with a Temporal Extension of First-Order LogicDavid Come, Julien Brunel, David Doose. 20-38 [doi]
- A Type-Directed Algorithm to Generate Well-Typed Featherweight Java ProgramsSamuel S. Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois. 39-55 [doi]
- Programming Language Foundations in AgdaPhilip Wadler. 56-73 [doi]
- Formal Verification of n-bit ALU Using Theorem ProvingSumayya Shiraz, Osman Hasan. 74-89 [doi]
- The Scallina Grammar - Towards a Scala Extraction for CoqYoussef El Bakouny, Dani Mezher. 90-108 [doi]
- VDM at Large: Modelling the EMV® 2^nd 2 nd Generation KernelLeo Freitas. 109-125 [doi]
- Constraint Reusing and k-Induction for Three-Valued Bounded Model CheckingNils Timm, Stefan Gruner, Matthias Harvey. 126-143 [doi]
- TeSSLa: Temporal Stream-Based Specification LanguageLukas Convent, Sebastian Hungerecker, Martin Leucker, Torben Scheffel, Malte Schmitz 0001, Daniel Thoma. 144-162 [doi]
- Automatic Test Case Generation for Concurrent Features from Natural Language DescriptionsRafaela Almeida, Sidney Nogueira, Augusto Sampaio. 163-179 [doi]
- A Methodology for Protocol Verification Applied to EMV® 1Leo Freitas, Paolo Modesti, Martin Emms. 180-197 [doi]
- Analysing RoboChart with ProbabilitiesM. S. Conserva Filho, R. Marinho, A. Mota, J. Woodcock. 198-214 [doi]
- Timed Scenarios: Consistency, Equivalence and OptimizationNeda Saeedloei, Feliks Kluzniak. 215-233 [doi]
- Safe and Constructive Design with UML ComponentsFlávia Falcão, Lucas Lima, Augusto Sampaio. 234-251 [doi]
- Formal Modelling of Environment Restrictions from Natural-Language RequirementsTainã Santos, Gustavo Carvalho, Augusto Sampaio. 252-270 [doi]