Testing Divergent Transition Systems.

Ed Brinksma Mariëlle I. A. Stoelinga Mark Timmer

Published in: Models, Algorithms, Logics and Tools (2017)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
control flow
finite state
software testing
practical reasoning
formal verification
distributed systems
reactive systems
markov chain
test cases