![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
20th SBMF 2017: Recife, Brazil
- Simone André da Costa Cavalheiro, José Luiz Fiadeiro:
Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings. Lecture Notes in Computer Science 10623, Springer 2017, ISBN 978-3-319-70847-8
Invited Talks
- Ana Cavalcanti:
Formal Methods for Robotics: RoboChart, RoboSim, and More. 3-6 - Christoph Benzmüller
:
Recent Successes with a Meta-Logical Approach to Universal Logical Reasoning (Extended Abstract). 7-11
Formal Methods Integration and Experience Reports
- Neda Saeedloei, Feliks Kluzniak:
From Scenarios to Timed Automata. 33-51 - Lucio Mauro Duarte, Leila Ribeiro:
Graph Grammar Extraction from Source Code. 52-69 - Thierry Lecomte, David Déharbe, Étienne Prun, Erwan Mottin:
Applying a Formal Method in Industry: A 25-Year Trajectory. 70-87
Model Checking
- Mikhail Y. R. Gadelha, Lucas C. Cordeiro
, Denis A. Nicole:
Encoding Floating-Point Numbers Using the SMT Theory in ESBMC: An Empirical Evaluation over the SV-COMP Benchmarks. 91-106 - Rodrigo Otoni
, Ana Cavalcanti
, Augusto Sampaio:
Local Analysis of Determinism for CSP. 107-124 - Higo F. Albuquerque, Rodrigo F. Araujo
, Iury Valente de Bessa
, Lucas C. Cordeiro
, Eddie Batista de Lima Filho:
OptCE: A Counterexample-Guided Inductive Optimization Solver. 125-141 - Arthur Américo, Artur Vaz, Mário S. Alvim
, Sérgio Vale Aguiar Campos, Annabelle McIver
:
Formal Analysis of the Information Leakage of the DC-Nets and Crowds Anonymity Protocols. 142-158
Refinement and Verification
- Guillermina Cledou
, José Proença
, Luís Soares Barbosa
:
A Refinement Relation for Families of Timed Automata. 161-178 - Normann Decker, Philip Gottschling, Christian Hochberger, Martin Leucker
, Torben Scheffel, Malte Schmitz, Alexander Weiss
:
Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems. 179-196 - Roberto Metere
, Andreas Lindner, Roberto Guanciale
:
Sound Transpilation from Binary to Machine-Independent Code. 197-214 - Kênia Santos de Oliveira, Stéphane Julia:
Using Linear Logic to Verify Requirement Scenarios in Composite Web Service. 215-232 - Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe:
Checking Static Properties Using Conservative SAT Approximations for Reachability. 233-250
Semantics and Languages
- Andrew Butterfield
:
UTCP: Compositional Semantics for Shared-Variable Concurrency. 253-270 - Leandro Gomes
, Alexandre Madeira
, Luís Soares Barbosa
:
On Kleene Algebras for Weighted Computation. 271-286 - Yi Li, Xiyue Zhang
, Yuanyi Ji, Meng Sun:
Capturing Stochastic and Real-Time Behavior in Reo Connectors. 287-304
![](https://dblp.org/img/cog.dark.24x24.png)
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.