Login / Signup
An Interactive Verification Tool for Synchronous/Reactive Systems.
Manuel Gesell
Klaus Schneider
Published in:
MBMV (2013)
Keyphrases
</>
reactive systems
model checking
formal methods
graphical interface
user friendly
temporal logic
data mining
information systems
database systems
open source
knowledge based systems
building blocks
information visualization
real time systems
interactive exploration