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 s...
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | |
Otros Autores: | , |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Cham :
Springer International Publishing : Imprint: Springer,
2015.
|
Edición: | 1st ed. 2015. |
Colección: | Programming and Software Engineering,
8941 |
Temas: | |
Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- 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.