Abstract is missing.
- Formal Model-Based Constraint Solving and Document GenerationMichael Leuschel. 3-20 [doi]
- Formal Testing from Natural Language in an Industrial ContextAugusto Sampaio, Filipe Arruda. 21-38 [doi]
- Application of Formal Methods to Verify Business ProcessesLuis E. Mendoza Morales, Carlos Monsalve, Mónica Villavicencio. 41-58 [doi]
- An Approach for Verifying Educational RobotsSidney Nogueira, Taciana Pontual Falcão, Alexandre Mota, Emanuel Oliveira, Itamar Moraes, Iverson Pereira. 59-77 [doi]
- Verigraph: A System for Specification and Analysis of Graph GrammarsAndrei Costa, Jonas Santos Bezerra, Guilherme Azzi, Leonardo Rodrigues, Thiago Rafael Becker, Ricardo Gabriel Herdt, Rodrigo Machado. 78-94 [doi]
- Modelling 'Operation-Calls' in Event-B with Shared-Event CompositionAndrew Edmunds, Marina A. Waldén. 97-111 [doi]
- Algebraic Foundations for Specification RefinementsPablo F. Castro, Nazareno Aguirre. 112-128 [doi]
- On Interval Dynamic LogicRegivan H. N. Santiago, Benjamín R. C. Bedregal, Alexandre Madeira, Manuel A. Martins. 129-144 [doi]
- An Evolutionary Approach to Translate Operational Specifications into Declarative SpecificationsFacundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias. 145-160 [doi]
- A Refinement Repair Algorithm Based on Refinement Game for KMTS ModelsEfraim Machado, Aline Andrade. 161-178 [doi]
- Massive Open Online Courses and MonoidsHugo Farias, Christiano Braga, Paulo Blauth Menezes. 179-195 [doi]
- A Bounded Model Checker for Three-Valued Abstractions of Concurrent Software SystemsNils Timm, Stefan Gruner, Matthias Harvey. 199-216 [doi]
- Model Checking RequirementsSérgio Barza, Gustavo Carvalho, Juliano Iyoda, Augusto Sampaio, Alexandre Mota, Flávia de Almeida Barros. 217-234 [doi]
- Refinement Verification of Sequence Diagrams Using CSPLucas Lima, Juliano Iyoda, Augusto Sampaio. 235-252 [doi]