default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoftware Systems Safety 2014
- Orna Grumberg, Helmut Seidl, Maximilian Irlbeck:
Software Systems Safety. NATO Science for Peace and Security Series, D: Information and Communication Security 36, IOS Press 2014, ISBN 978-1-61499-384-1 - Patrice Godefroid:
May/Must Abstraction-Based Software Model Checking for Sound Verification and Falsification. 1-16 - Orna Grumberg, Sharon Shoham
, Yakir Vizel:
SAT-based Model Checking: Interpolation, IC3, and Beyond. 17-41 - Sumit Gulwani:
Program Synthesis. 43-75 - Gerwin Klein, Tobias Nipkow:
Applications of Interactive Proof to Data Flow Analysis and Security. 77-134 - Ralf Küsters:
E-Voting Systems. 135-164 - Marta Z. Kwiatkowska, Chris Thachuk:
Probabilistic Model Checking for Biology. 165-189 - Rupak Majumdar:
Foundations of Infinite-State Verification. 191-222 - Georg Weissenbacher, Pramod Subramanyan, Sharad Malik:
Boolean Satisfiability: Solvers and Extensions. 223-278 - Bart van Delft, Niklas Broberg, David Sands:
Programming in Paragon. 279-308 - Helmut Seidl, Kalmer Apinis, Vesal Vojdani:
Frameworks for Interprocedural Analysis of Concurrent Programs. 309-347 - Eran Yahav:
Practical Software Synthesis. 349-377
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 2025-01-06 23:30 CET 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:
