12. SBMF 2009:
Gramado,
Brazil
Marcel Vinicius Medeiros Oliveira, Jim Woodcock (Eds.):
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
Last update Fri May 25 08:35:30 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
