Verification and Testing of Concurrent Systems with Action Races.

Alexandre Petrenko Andreas Ulrich

Published in: TestCom (2000)

Keyphrases

information systems
concurrent systems
transition systems
temporal logic
model checking
distributed systems
process algebra
petri net
formal specification
formal verification
learning algorithm
description language
test suite
software testing