Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Gerard_J. Holzmann
Software Analysis and Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Model Checking Software
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Applying Model Checking to Destructive Testing and Analysis of Software System
Journal of Software
Model Checking Large Software Specifications
ACM SIGSOFT Software Engineering Notes
Model-Checking Software Using Precise Abstractions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Checking Strong Specifications Using an Extensible Software Model Checking Framework
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Dynamic Path Reduction for Software Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking Software Systems: A Case Study.
On Reasoning About Finite Sets in Software Model Checking
SMT-Based Bounded Model Checking for Embedded ANSI-C Software
IEEE Transactions on Software Engineering
Software
