Login / Signup
Truth - A verification platform for concurrent systems.
Martin Lange
Martin Leucker
Thomas Noll
Stephan Tobies
Published in:
Tool Support for System Specification, Development and Verification (1998)
Keyphrases
</>
concurrent systems
temporal logic
distributed systems
model checking
process algebra
formal specification
petri net
transition systems
real time
neural network
data sets
search engine
mobile applications
finite state
model checker
truth values