Abstract is missing.
- Directed Model Checking for B: An Evaluation and New TechniquesMichael Leuschel, Jens Bendisposto. 1-16 [doi]
- Midlet Navigation Graphs in JMLWojciech Mostowski, Erik Poll. 17-32 [doi]
- Runtime Verification for Generic Classes with ConGu 2Pedro Crispim, Antónia Lopes, Vasco Thudichum Vasconcelos. 33-48 [doi]
- A High-Level Language for Modeling Algorithms and Their PropertiesSabina Akhtar, Stephan Merz, Martin Quinson. 49-63 [doi]
- A Formal Environment Model for Multi-Agent SystemsPaulo Salem da Silva, Ana Cristina Vieira de Melo. 64-79 [doi]
- A Modal Interface Theory with Data ConstraintsSebastian S. Bauer, Rolf Hennicker, Michel Bidoit. 80-95 [doi]
- Synchronizing Model and Program RefactoringTiago Massoni, Rohit Gheyi, Paulo Borba. 96-111 [doi]
- A Type-Theoretic Framework for Certified Model TransformationsDaniel Calegari, Carlos Luna, Nora Szasz, Alvaro Tasistro. 112-127 [doi]
- Simulating Truly Concurrent CSPMoritz Kleine, J. W. Sanders. 128-143 [doi]
- Statistical Verification of Probabilistic Properties with Unbounded UntilHåkan L. S. Younes, Edmund M. Clarke, Paolo Zuliani. 144-160 [doi]
- Reasoning about Assignments in Recursive Data StructuresAlejandro Tamalet, Ken Madlener. 161-176 [doi]
- Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We LearnedAbderrahman Matoussi, Frédéric Gervais, Régine Laleau. 177-193 [doi]
- A Formal Framework for Specifying and Analyzing Logs as Electronic EvidenceEduardo Mazza, Marie-Laure Potet, Daniel Le Métayer. 194-209 [doi]
- Formal Development of a Cardiac Pacemaker: From Specification to CodeArtur Oliveira Gomes, Marcel Vinicius Medeiros Oliveira. 210-225 [doi]
- A Decision Procedure for Bisimilarity of Generalized Regular ExpressionsMarcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva. 226-241 [doi]
- Normalization of Linear Horn ClausesThomas Martin Gawlitza, Helmut Seidl, Kumar Neeraj Verma. 242-257 [doi]
- A Graph-Based Implementation for Mechanized Refinement Calculus of OO ProgramsZhiming Liu, Charles Morisset, Shuling Wang. 258-273 [doi]
- Automating Refinement of ::::Circus:::: ProgramsFrank Zeyda, Ana Cavalcanti. 274-290 [doi]