default search action
17. SBMF 2014: Maceió, AL, Brazil
- Christiano Braga, Narciso Martí-Oliet:
Formal Methods: Foundations and Applications - 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29-October 1, 2014. Proceedings. Lecture Notes in Computer Science 8941, Springer 2015, ISBN 978-3-319-15074-1 - Richard Bonichon, David Déharbe, Thierry Lecomte
, Valério Medeiros Jr.:
LLVM-Based Code Generation for B. 1-16 - Narciso Martí-Oliet
Equational Abstractions in Rewriting Logic and Maude. 17-31 - Sohaib Ahmad, Osman Hasan
Formalization of Zsyntax to Reason About Molecular Pathways in HOL4. 32-47 - Diego R. Almeida, Alan Moraes, Wilkerson de L. Andrade
Towards a Family of Test Selection Criteria for Symbolic Models of Real-Time Systems. 48-63 - Daniel Calegari
Model-Driven Engineering in the Heterogeneous Tool Set. 64-79 - Alberto Ciaffaglione:
A Coinductive Animation of Turing Machines. 80-95 - Grigory Fedyukovich
Towards Completeness in Bounded Model Checking Through Automatic Recursion Depth Detection. 96-112 - Bruno Ferreira, Fernando A. F. Braz, Sérgio Vale Aguiar Campos:
A Probabilistic Model Checking Analysis of a Realistic Vehicular Networks Mobility Model. 113-129 - Alexandre Madeira
A Dynamic Logic for Every Season. 130-145 - Renato Neves
Completeness and Decidability Results for Hybrid(ised) Logics. 146-161 - Nils Timm, Stefan Gruner:
Parameterisation of Three-Valued Abstractions. 162-178
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-23 19:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: