Truth/SLC - A Parallel Verification Platform for Concurrent Systems.

Martin Leucker Thomas Noll

Published in: CAV (2001)

Keyphrases

concurrent systems
temporal logic
model checking
distributed systems
process algebra
formal specification
petri net
transition systems
real time
parallel processing
load balancing
shared memory
parallel programming
cloud computing
computer architecture
communication protocol