Volume 240, July 2009
Proceedings of the Eleventh Brazilian Symposium on Formal Methods (SBMF 2008), Salvador, Brazil, 26-29 August 2008
- Patrícia D. L. Machado:
Preface.
1-3
- Néstor Cataño, Fernando Barraza, Daniel García, Pablo Ortega, Camilo Rueda:
A Case Study in JML-Assisted Software Development.
5-21
- Ana Cavalcanti:
Stateflow Diagrams in Circus.
23-41
- Simone André da Costa, Leila Ribeiro:
Formal Verification of Graph Grammars using Mathematical Induction.
43-60
- Umberto Souza da Costa, Anamaria Martins Moreira, Martin A. Musicante, Plácido A. Souza Neto:
Specification and Runtime Verification of Java Card Programs.
61-78
- Bartira Dantas, David Déharbe, Stephenson Galvão, Anamaria Martins Moreira, Valério Medeiros Júnior:
Verified Compilation and the B Method: A Proposal and a First Appraisal.
79-96
- Paulo Salem da Silva, Ana Cristina Vieira de Melo:
Model Checking Merged Program Traces.
97-112
- Diego Caminha B. de Oliveira, David Déharbe, Pascal Fontaine:
Combining Decision Procedures by (Model-)Equality Propagation.
113-128
- André Didier, Adalberto Farias, Alexandre Mota:
Checking Z Data Refinements Using Traces Refinement.
129-148
- Flávia Falcão, Juliano Iyoda, Augusto Sampaio:
Multiple Synchrony in MSC.
149-166
- Thierry Jéron:
Symbolic Model-based Test Selection.
167-184
- Magnus O. Myreen, Michael J. C. Gordon:
Transforming Programs into Recursive Functions.
185-200
- Juan Ignacio Perna, Jim Woodcock:
Mechanised Wire-wise Verification of Handel-C Synthesis.
201-219
- Paul Regnier, George Lima, Aline Maria Santos Andrade:
A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol.
221-238
- Frank Zeyda, Ana Cavalcanti:
Mechanical Reasoning about Families of UTP Theories.
239-257
Last update Wed May 22 17:33:12 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
