Abstract is missing.
- Models and Software Model Checking of a Distributed File Replication SystemNikolaj Bjørner. 1-23 [doi]
- From Formal Methods to System ModelingManfred Broy. 24-44 [doi]
- A Denotational Semantics for Handel-CAndrew Butterfield. 45-66 [doi]
- Generating Polynomial Invariants with DISCOVERER and QEPCADYinghua Chen, Bican Xia, Lu Yang, Naijun Zhan. 67-82 [doi]
- Harnessing rCOS for Tool Support - The CoCoME ExperienceZhenbang Chen, Xiaoshan Li, Zhiming Liu, Volker Stolz, Lu Yang. 83-114 [doi]
- Automating Verification of Cooperation, Control, and Design in Traffic ApplicationsWerner Damm, Alfred Mikschl, Jens Oehlerking, Ernst-Rüdiger Olderog, Jun Pang, André Platzer, Marc Segelken, Boris Wirtz. 115-169 [doi]
- Specifying Various Time Models with Temporal Propositional Variables in Duration CalculusDang Van Hung. 170-187 [doi]
- Relating Domain Concepts Intensionally by Ordering ConnectionsAsger Eir. 188-216 [doi]
- Programmable Messaging for Electronic Government - Building a FoundationElsa Estevez, Tomasz Janowski. 217-236 [doi]
- Balancing Insight and Effort: The Industrial Uptake of Formal MethodsJohn S. Fitzgerald, Peter Gorm Larsen. 237-254 [doi]
- Proving Theorems About JML ClassesLeo Freitas, Jim Woodcock. 255-279 [doi]
- Specification for TestingChris George, Padmanabhan Krishnan, Percy Antonio Pari Salas, Jeff W. Sanders. 280-299 [doi]
- Semantics and Verification of a Language for Modelling Hardware ArchitecturesMichael R. Hansen, Jan Madsen, Aske Wiid Brekling. 300-319 [doi]
- A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control SystemsAnne Elisabeth Haxthausen, Jan Peleska. 320-348 [doi]
- Compensable ProgramsJifeng He. 349-363 [doi]
- Deriving Specifications for Systems That Are Connected to the Physical WorldCliff B. Jones, Ian J. Hayes, Michael A. Jackson. 364-390 [doi]
- Engineering the Development of Embedded SystemsMathai Joseph. 391-398 [doi]
- Design Verification PatternsJohn Knudsen, Anders P. Ravn, Arne Skou. 399-413 [doi]
- On Revival of Algol-Concepts in Modern Programming and Specification LanguagesHans Langmaack. 414-434 [doi]
- Design in CommUnity with Extension MorphismsXiang Ling, T. S. E. Maibaum, Nazareno Aguirre. 435-466 [doi]
- Symbolic Test Generation Using a Temporal Logic with Constrained EventsDaguang Liu, Peng Wu 0002, Huimin Lin. 467-471 [doi]
- Expansive-Bisimulation for Context-Free ProcessesXinxin Liu. 472-482 [doi]
- VDM Semantics of Programming Languages: Combinators and MonadsPeter D. Mosses. 483-503 [doi]
- Formal Approach to Railway ApplicationsMartin Penicka. 504-520 [doi]
- Services as a Paradigm of ComputationWolfgang Reisig, Jan Bretschneider, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl. 521-538 [doi]