Login / Signup
Extended state identification and verification using a model checker.
Christopher Robinson-Mallett
Peter Liggesmeyer
Tilo Mücke
Ursula Goltz
Published in:
Inf. Softw. Technol. (2006)
Keyphrases
</>
model checker
model checking
formal verification
formal methods
temporal logic
description language
transition systems
formal specification
symbolic model checking
state space
test suite
data mining
web services
set theory