Login / Signup
Context-Bounded Model Checking of Concurrent Software.
Shaz Qadeer
Jakob Rehof
Published in:
TACAS (2005)
Keyphrases
</>
bounded model checking
contextual information
formal verification
software development
model checking
computer systems
context aware
software systems
user interface
software design
search algorithm
temporal logic
software testing
linear temporal logic