![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Provably 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.