Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, Brazil, in September/October 2014. The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 su...
Other Authors: | , |
---|---|
Format: | eBook |
Language: | English |
Published: |
Cham
Springer International Publishing
2015, 2015
|
Edition: | 1st ed. 2015 |
Series: | Programming and Software Engineering
|
Subjects: | |
Online Access: | |
Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- LLVM-based code generation for B
- Equational abstractions in rewriting logic and Maude
- Formalization of ZSyntax to reason about Molecular Pathways in HOL4
- Test Case Selection Criteria for Symbolic Models of Real-Time Systems
- Model-Driven Engineering in the Heterogeneous Tool Set
- A coinductive animation of Turing Machines
- Towards completeness in Bounded Model Checking through Automatic Recursion Depth Detection
- A Probabilistic Model Checking Analysis of a Realistic Vehicular Networks Mobility Model
- Dynamic logics for every season
- Completeness and decidability results for hybrid(ised) logics
- Parameterisation of Three-Valued Abstractions