Formal methods : foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings / Leila Ribeiro, Thierry Lecomte (eds.).
"This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016.The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized...
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Ebook |
| Language: | English |
| Published: |
Cham, Switzerland :
Springer,
2016.
|
| Series: | Lecture notes in computer science ;
10090. LNCS sublibrary. Programming and software engineering |
| Subjects: | |
| Online Access: | Springer eBooks |
Table of Contents:
- Invited Talks:
- Formal Model-Based Constraint Solving and Document Generation / Michael Leuschel
- Formal Testing from Natural Language in an Industrial Context / Augusto Sampaio, Filipe Arruda
- Analysis and Verification:
- Application of Formal Methods to Verify Business Processes / Luis E. Mendoza Morales, Carlos Monsalve, Mónica Villavicencio
- An Approach for Verifying Educational Robots / Sidney Nogueira, Taciana Pontual Falcão, Alexandre Mota, Emanuel Oliveira, Itamar Moraes, Iverson Pereira
- Verigraph: A System for Specification and Analysis of Graph Grammars / Andrei Costa, Jonas Bezerra, Guilherme Azzi, Leonardo Rodrigues, Thiago Rafael Becker, Ricardo Gabriel Herdt et al.
- Modeling and Logic:
- Modelling ‘Operation-Calls’ in Event-B with Shared-Event Composition / Andrew Edmunds, Marina Waldén
- Algebraic Foundations for Specification Refinements / Pablo F. Castro, Nazareno Aguirre
- On Interval Dynamic Logic / Regivan H. N. Santiago, Benjamín Bedregal, Alexandre Madeira, Manuel A. Martins
- An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications / Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre et al.
- A Refinement Repair Algorithm Based on Refinement Game for KMTS Models / Efraim Machado, Aline Andrade
- Massive Open Online Courses and Monoids / Hugo Farias, Christiano Braga, Paulo B. Menezes
- Model Checking:
- A Bounded Model Checker for Three-Valued Abstractions of Concurrent Software Systems / Nils Timm, Stefan Gruner, Matthias Harvey
- Model Checking Requirements / Sérgio Barza, Gustavo Carvalho, Juliano Iyoda, Augusto Sampaio, Alexandre Mota, Flávia Barros
- Refinement Verification of Sequence Diagrams Using CSP / Lucas Lima, Juliano Iyoda, Augusto Sampaio.