Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCID12. SBMF 2009: Gramado, Brazil
- Marcel Vinícius Medeiros Oliveira, Jim Woodcock
:
Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers. Lecture Notes in Computer Science 5902, Springer 2009, ISBN 978-3-642-10451-0
- Nicolas Blanc, Daniel Kroening:
Speeding Up Simulation of SystemC Using Model Checking. 1-16 - Sebastián Uchitel:
Partial Behaviour Modelling: Foundations for Incremental and Iterative Model-Based Software Engineering. 17-22 - Leonardo Mendonça de Moura, Nikolaj Bjørner:
Satisfiability Modulo Theories: An Appetizer. 23-36 - Wilkerson de L. Andrade, Patrícia D. L. Machado:
Interruption Testing of Reactive Systems. 37-53 - Wilkerson de L. Andrade, Patrícia D. L. Machado, Everton L. G. Alves, Diego R. Almeida:
Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS. 54-69 - Andrew Butterfield, Art Ó Catháin:
Concurrent Models of Flash Memory Device Behaviour. 70-83 - Venanzio Capretta, Tarmo Uustalu, Varmo Vene:
Corecursive Algebras: A Study of General Structured Corecursion. 84-100 - David Déharbe, Stephenson Galvão, Anamaria Martins Moreira:
Formalizing FreeRTOS: First Steps. 101-117 - Adriana Damasceno, Adalberto Farias, Alexandre Mota:
A Mechanized Strategy for Safe Abstraction of CSP Specifications. 118-133 - Kriangsak Damchoom, Michael J. Butler:
Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B. 134-152 - Miguel Alexandre Ferreira, José Nuno Oliveira:
An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model. 153-169 - Ricardo Bedin França, Leandro Buss Becker, Jean-Paul Bodeveix, Jean-Marie Farines, Mamoun Filali:
Towards Safe Design of Synchronous Bus Protocols in Event-B. 170-185 - Leo Freitas:
Mechanising Data-Types for Kernel Design in Z. 186-203 - Rohit Gheyi, Tiago Massoni, Paulo Borba, Augusto Sampaio:
A Complete Set of Object Modeling Laws for Alloy. 204-219 - Sergio Giro:
Undecidability Results for Distributed Probabilistic Systems. 220-235 - Renata Kaufman, Augusto Sampaio, Alexandre Mota:
Formalisation and Analysis of Objects as CSP Processes. 236-250 - Moonzoo Kim, Yunho Kim:
Concolic Testing of the Multi-sector Read Operation for Flash Memory File System. 251-265 - Moritz Kleine, Steffen Helke:
Low-Level Code Verification Based on CSP Models. 266-281 - Valério Medeiros Júnior, David Déharbe:
Formal Modelling of a Microcontroller Instruction Set in B. 282-289 - Elisabete Freire, Luís Monteiro:
Defining Behaviours by Quasi-finality. 290-305 - Jan Tobias Mühlberg, Gerald Lüttgen:
Verifying Compiled File System Code. 306-320 - Juliana Kaizer Vizzotto, Giovani Rubert Librelotto, Amr Sabry:
Reasoning about General Quantum Programs over Mixed States. 321-335 - Hongwei Xi:
A Simple and General Theoretical Account for Abstract Types. 336-349
a service of 
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 2022-01-18 23:39 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 has been originally created in 1993 at:
since 2018, dblp is operated and maintained by:
the dblp computer science bibliography is funded and supported by:
