Testing Concurrent Systems: A Formal Approach.

Published in: CONCUR (1999)

Keyphrases

highly reliable
concurrent systems
formal specification
temporal logic
model checking
distributed systems
process algebra
petri net
transition systems
formal methods
software testing
test cases
website
machine learning
artificial intelligence
formal verification