Design and implementation of a GUI for the TLC model checker.

Bo Wang Cornelis Pronk

Published in: ACM SIGPLAN Notices (2006)

Keyphrases

model checker
user interface
formal methods
model checking
software architecture
temporal logic
formal verification
data mining
artificial intelligence
image processing
domain specific
design process
specification language