Compositional Verification of Concurrent Systems by Combining Bisimulations.

Frédéric Lang Radu Mateescu Franco Mazzanti

Published in: FM (2019)

Keyphrases

concurrent systems
temporal logic
distributed systems
model checking
process algebra
formal specification
petri net
transition systems
formal verification
case study
face recognition
multiscale
object oriented
model checker