Abstract is missing.
- Hard-Wiring CSP Hiding: Implementing Channel Abstraction to Generate Verified Concurrent HardwareF. J. S. Macário, M. V. M. Oliveira. 3-18 [doi]
- Instantiation Reduction in Iterative Parameterised Three-Valued Model CheckingNils Timm, Stefan Gruner. 19-35 [doi]
- Mobile CSPJim Woodcock, Andy J. Wellings, Ana Cavalcanti. 39-55 [doi]
- Evaluating the Assignment of Behavioral Goals to Coalitions of AgentsChristophe Chareton, Julien Brunel, David Chemouil. 56-73 [doi]
- Towards Reasoning in Dynamic Logics with Rewriting Logic: The Petri-PDL CaseChristiano Braga, Bruno Lopes. 74-89 [doi]
- Refinement Strategies for Safety-Critical JavaAlvaro Miyazawa, Ana Cavalcanti. 93-109 [doi]
- Verifying Transformations of Java Programs Using AlloyTarciana Dias da Silva, Augusto Sampaio, Alexandre Mota. 110-126 [doi]
- A Mechanized Textbook Proof of a Type Unification AlgorithmRodrigo Ribeiro, Carlos Camarão. 127-141 [doi]
- Automatic Generation of Test Cases and Test Purposes from Natural LanguageSidney Nogueira, Hugo L. S. Araujo, Renata B. S. Araujo, Juliano Iyoda, Augusto Sampaio. 145-161 [doi]
- Time Performance Formal Evaluation of Complex SystemsValdivino Alexandre de Santiago Júnior, Sofiène Tahar. 162-177 [doi]
- Test Case Generation from Natural Language Requirements Using CPN SimulationBruno Cesar F. Silva, Gustavo Carvalho, Augusto Sampaio. 178-193 [doi]