default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID21st SBMF 2018: Salvador, Brazil
- Tiago Massoni, Mohammad Reza Mousavi:
Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings. Lecture Notes in Computer Science 11254, Springer 2018, ISBN 978-3-030-03043-8 - Alexandre Mota:
The Pragmatic Dimension of Formal Methods: Towards Building a Sound Synthesiser. 1-4 - José Meseguer:
Formal Design of Cloud Computing Systems in Maude. 5-19 - David Come, Julien Brunel, David Doose:
Source Code Analysis with a Temporal Extension of First-Order Logic. 20-38 - Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois:
A Type-Directed Algorithm to Generate Well-Typed Featherweight Java Programs. 39-55 - Philip Wadler:
Programming Language Foundations in Agda. 56-73 - Sumayya Shiraz, Osman Hasan
:
Formal Verification of n-bit ALU Using Theorem Proving. 74-89 - Youssef El Bakouny, Dani Mezher:
The Scallina Grammar - Towards a Scala Extraction for Coq. 90-108 - Leo Freitas:
VDM at Large: Modelling the EMV® 2^nd 2 nd Generation Kernel. 109-125 - Nils Timm, Stefan Gruner, Matthias Harvey:
Constraint Reusing and k-Induction for Three-Valued Bounded Model Checking. 126-143 - Lukas Convent, Sebastian Hungerecker, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma:
TeSSLa: Temporal Stream-Based Specification Language. 144-162 - Rafaela Almeida, Sidney C. Nogueira, Augusto Sampaio:
Automatic Test Case Generation for Concurrent Features from Natural Language Descriptions. 163-179 - Leo Freitas, Paolo Modesti, Martin Emms:
A Methodology for Protocol Verification Applied to EMV® 1. 180-197 - Madiel S. Conserva Filho, R. Marinho, Alexandre Mota, Jim Woodcock:
Analysing RoboChart with Probabilities. 198-214 - Neda Saeedloei, Feliks Kluzniak:
Timed Scenarios: Consistency, Equivalence and Optimization. 215-233 - Flávia Falcão, Lucas Lima, Augusto Sampaio:
Safe and Constructive Design with UML Components. 234-251 - Tainã Santos, Gustavo Carvalho, Augusto Sampaio:
Formal Modelling of Environment Restrictions from Natural-Language Requirements. 252-270
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-07-30 22:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
