Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
by
Braga, Christiano. editor.
Title
:
Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
Author
:
Braga, Christiano. editor.
ISBN
:
9783319150758
Edition
:
1st ed. 2015.
Physical Description
:
IX, 179 p. 39 illus. online resource.
Series
:
Programming and Software Engineering, 8941
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.
Added Author
:
Braga, Christiano.
Martí-Oliet, Narciso.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
---|
Online Library | E-Book | 519154-1001 | XX(519154.1) | | Elektronik Kütüphane |