Amanote Research
Register
Sign In
Model Checking Software
Lecture Notes in Computer Science
- Germany
doi 10.1007/978-3-642-31759-0
Full Text
Open PDF
Abstract
Available in
full text
Categories
Computer Science
Theoretical Computer Science
Date
January 1, 2012
Authors
Unknown
Publisher
Springer Berlin Heidelberg
Related search
Software Analysis and Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
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
An Improved Distance Heuristic Function for Directed Software Model Checking