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