Electronic Notes in Theoretical Computer Science, Volume 240

> Home > Journals > Electronic Notes in Theoretical Computer Science

Volume 240, July 2009

Proceedings of the Eleventh Brazilian Symposium on Formal Methods (SBMF 2008), Salvador, Brazil, 26-29 August 2008

- view
- export record
  dblp key:
  - journals/entcs/Machado09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Machado09
Patrícia D. L. Machado:
Preface. 1-3
- view
  authority control:
- export record
  dblp key:
  - journals/entcs/CatanoBGOR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CatanoBGOR09
Néstor Cataño, Fernando Barraza, Daniel García, Pablo Ortega, Camilo Rueda:
A Case Study in JML-Assisted Software Development. 5-21
- view
- export record
  dblp key:
  - journals/entcs/Cavalcanti09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Cavalcanti09
Ana Cavalcanti:
Stateflow Diagrams in Circus. 23-41
- view
- export record
  dblp key:
  - journals/entcs/CostaR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CostaR09
Simone André da Costa, Leila Ribeiro:
Formal Verification of Graph Grammars using Mathematical Induction. 43-60
- view
- export record
  dblp key:
  - journals/entcs/CostaMMN09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CostaMMN09
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
- view
- export record
  dblp key:
  - journals/entcs/DantasDGMJ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DantasDGMJ09
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
- view
- export record
  dblp key:
  - journals/entcs/SilvaM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/SilvaM09
Paulo Salem da Silva, Ana Cristina Vieira de Melo:
Model Checking Merged Program Traces. 97-112
- view
- export record
  dblp key:
  - journals/entcs/OliveiraDF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/OliveiraDF09
Diego Caminha Barbosa De Oliveira, David Déharbe, Pascal Fontaine:
Combining Decision Procedures by (Model-)Equality Propagation. 113-128
- view
- export record
  dblp key:
  - journals/entcs/DidierFM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DidierFM09
André Didier, Adalberto Farias, Alexandre Mota:
Checking Z Data Refinements Using Traces Refinement. 129-148
- view
- export record
  dblp key:
  - journals/entcs/FalcaoIS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FalcaoIS09
Flávia Falcão, Juliano Iyoda, Augusto Sampaio:
Multiple Synchrony in MSC. 149-166
- view
- export record
  dblp key:
  - journals/entcs/Jeron09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Jeron09
Thierry Jéron:
Symbolic Model-based Test Selection. 167-184
- view
- export record
  dblp key:
  - journals/entcs/MyreenG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MyreenG09
Magnus O. Myreen, Michael J. C. Gordon:
Transforming Programs into Recursive Functions. 185-200
- view
- export record
  dblp key:
  - journals/entcs/PernaW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PernaW09
Juan Ignacio Perna, Jim Woodcock:
Mechanised Wire-wise Verification of Handel-C Synthesis. 201-219
- view
- export record
  dblp key:
  - journals/entcs/RegnierLA09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/RegnierLA09
Paul Regnier, George Lima, Aline Maria Santos Andrade:
A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol. 221-238
- view
- export record
  dblp key:
  - journals/entcs/ZeydaC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ZeydaC09
Frank Zeyda, Ana Cavalcanti:
Mechanical Reasoning about Families of UTP Theories. 239-257

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.