Translating Testing Theories for Concurrent Systems.

Published in: Correct System Design (2015)

Keyphrases

concurrent systems
distributed systems
temporal logic
transition systems
model checking
process algebra
petri net
formal specification
theoretical framework
real time
software engineering
formal verification
design theory
fine grained
information systems
artificial intelligence
genetic algorithm