Sign in
A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems.
Étienne André
Benoît Barbot
Clement Demoulins
Lom-Messan Hillah
Francis Hulin-Hubard
Fabrice Kordon
Alban Linard
Laure Petrucci
Published in:
ICFEM (2013)
Keyphrases
</>
concurrent systems
temporal logic
distributed systems
model checking
process algebra
transition systems
formal specification
petri net
software tools
knowledge representation
formal methods
data sets
metadata
learning objects
nonmonotonic reasoning
verification method