default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDProvably Correct Systems 2017
- Michael G. Hinchey, Jonathan P. Bowen
, Ernst-Rüdiger Olderog:
Provably Correct Systems. NASA Monographs in Systems and Software Engineering, Springer 2017, ISBN 978-3-319-48627-7 - Dines Bjørner:
Erratum to: ProCoS: How It All Began - as Seen from Denmark. 1
Historic Account
- Dines Bjørner:
ProCoS: How It All Began - as Seen from Denmark. 3-5
Hybrid Systems
- Martin Fränzle, Yang Gao, Sebastian Gerwinn:
Constraint-Solving Techniques for the Analysis of Stochastic Hybrid Systems. 9-38 - Mingshuai Chen, Xiao Han, Tao Tang, Shuling Wang, Mengfei Yang, Naijun Zhan, Hengjun Zhao, Liang Zou:
MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems. 39-58
Correctness of Concurrent Algorithms
- John Derrick, Graeme Smith, Lindsay Groves, Brijesh Dongol:
A Proof Method for Linearizability on TSO Architectures. 61-91
Interfaces and Linking
- Ernst-Rüdiger Olderog, Anders P. Ravn, Rafael Wisniewski:
Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers. 95-120 - Xin Chen, Zhiming Liu:
Towards Interface-Driven Design of Evolving Component-Based Architectures. 121-148
Automatic Verification
- J Strother Moore:
Computing Verified Machine Address Bounds During Symbolic Exploration of Code. 151-172 - Shilpi Goel, Warren A. Hunt Jr., Matt Kaufmann:
Engineering a Formal, Executable x86 ISA Simulator for Software Verification. 173-209 - Jens Otten, Wolfgang Bibel:
Advances in Connection-Based Automated Theorem Proving. 211-241
Run-Time Assertion Checking
- Frank S. de Boer, Stijn de Gouw:
Run-Time Deadlock Detection. 245-264 - Tim Todman, Wayne Luk:
In-Circuit Assertions and Exceptions for Reconfigurable Hardware Design. 265-281
Formal and Semi-formal Methods
- Bettina Buth:
From ProCoS to Space and Mental Models-A Survey of Combining Formal and Semi-formal Methods. 285-310
Web-Supported Communities in Science
- Jonathan P. Bowen:
Provably Correct Systems: Community, Connections, and Citations. 313-328
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-06-09 22:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
