Integration of a Software Model Checker into Isabelle.

Matthias Daum Stefan Maus Norbert Schirmer Mohamed Nassim Seghir

Published in: LPAR (2005)

Keyphrases

model checker
formal methods
model checking
formal verification
test suite
description language
software architecture
temporal logic
software systems
formal specification
symbolic model checking
source code
specification language
data mining
ai planning
heuristic search
test cases
relational databases