Compositional verification of asynchronous concurrent systems using CADP.

Hubert Garavel Frédéric Lang Radu Mateescu

Published in: Acta Informatica (2015)

Keyphrases

concurrent systems
temporal logic
distributed systems
process algebra
model checking
transition systems
petri net
formal specification
state machines
asynchronous circuits
building blocks
artificial intelligence
knowledge base
case study
content analysis
online discussion