Abstract is missing.
- Erratum to: ProCoS: How It All Began - as Seen from DenmarkDines Bjørner. 1 [doi]
- ProCoS: How It All Began - as Seen from DenmarkDines Bjørner. 3-5 [doi]
- Constraint-Solving Techniques for the Analysis of Stochastic Hybrid SystemsMartin Fränzle, Yang Gao, Sebastian Gerwinn. 9-38 [doi]
- MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid SystemsMingshuai Chen, Xiao Han, Tao Tang, Shuling Wang, Mengfei Yang, Naijun Zhan, Hengjun Zhao, Liang Zou. 39-58 [doi]
- A Proof Method for Linearizability on TSO ArchitecturesJohn Derrick, Graeme Smith, Lindsay Groves, Brijesh Dongol. 61-91 [doi]
- Linking Discrete and Continuous Models, Applied to Traffic ManoeuvrersErnst-Rüdiger Olderog, Anders P. Ravn, Rafael Wisniewski. 95-120 [doi]
- Towards Interface-Driven Design of Evolving Component-Based ArchitecturesXin Chen, Zhiming Liu 0001. 121-148 [doi]
- Computing Verified Machine Address Bounds During Symbolic Exploration of CodeJ. Strother Moore. 151-172 [doi]
- Engineering a Formal, Executable x86 ISA Simulator for Software VerificationShilpi Goel, Warren A. Hunt Jr., Matt Kaufmann. 173-209 [doi]
- Advances in Connection-Based Automated Theorem ProvingJens Otten, Wolfgang Bibel. 211-241 [doi]
- Run-Time Deadlock DetectionFrank S. de Boer, Stijn de Gouw. 245-264 [doi]
- In-Circuit Assertions and Exceptions for Reconfigurable Hardware DesignTim Todman, Wayne Luk. 265-281 [doi]
- From ProCoS to Space and Mental Models-A Survey of Combining Formal and Semi-formal MethodsBettina Buth. 285-310 [doi]
- Provably Correct Systems: Community, Connections, and CitationsJonathan P. Bowen. 313-328 [doi]