Abstract is missing.
- Theories of Programming: Top-Down and Bottom-Up and Meeting in the MiddleC. A. R. Hoare. 3-28 [doi]
- A Triptych Software Development Paradigm: Domain, Requirements and SoftwareDines Bjørner. 29-60 [doi]
- Real-Time Constraints Through the ProCoS LayersAnders P. Ravn, Hans Rischel. 61-78 [doi]
- Monotonicity in Calculational ProofsDavid Gries. 79-85 [doi]
- The Alma Project, or How First-Order Logic Can Help Us in Imperative ProgrammingKrzysztof R. Apt, Andrea Schaerf. 89-113 [doi]
- Type and Effect SystemsFlemming Nielson, Hanne Riis Nielson. 114-136 [doi]
- Proving Theorems About Java-Like Byte CodeJ. Strother Moore. 139-162 [doi]
- Multiple State and Single State Tableaux for Combining Local and Global Model CheckingArmin Biere, Edmund M. Clarke, Yunshan Zhu. 163-179 [doi]
- On the Existence of Network Invariants for Verifying Parameterized SystemsParosh Aziz Abdulla, Bengt Jonsson. 180-197 [doi]
- Verification of CompilersGerhard Goos, Wolf Zimmermann. 201-230 [doi]
- Translation Validation: From SIGNAL to CAmir Pnueli, Ofer Strichman, Michael Siegel. 231-255 [doi]
- Compilation and Synthesis for Real-Time Embedded ControllersMartin Fränzle, Markus Müller-Olm. 256-287 [doi]
- Optimization Under the Perspective of Soundness, Completeness, and ReusabilityJens Knoop, Oliver Rüthing. 288-315 [doi]
- Verification of Automotive Control UnitsTom Bienmüller, Jürgen Bohn, Henning Brinkmann, Udo Brockmeyer, Werner Damm, Hardi Hungar, Peter Jansen. 319-341 [doi]
- Correct Real-Time Software for Programmable Logic ControllersErnst-Rüdiger Olderog. 342-362 [doi]
- Formal Methods for the International Space Station ISSJan Peleska, Bettina Buth. 363-389 [doi]
- METAFrame in Practice: Design of Intelligent Network ServicesBernhard Steffen, Tiziana Margaria. 390-415 [doi]