Effcient Symbolic Model Checking of Software Using Partial Disjunctive Partitioning.

Sharon Barner Ishai Rabinovitz

Published in: CHARME (2003)

Keyphrases

symbolic model checking
safety analysis
model checking
formal verification
software systems
conformant planning
software development
software architecture
partial observability
software components
model checker
test suite
symbolic representation
artificial intelligence
source code
software engineering
state space