Towards Maude-Tla based Foundation for Complex Concurrent Systems Specification and Certification.

Nasreddine Aoumeur Kamel Barkaoui Gunter Saake

Published in: ITNG (2008)

Keyphrases

concurrent systems
formal specification
temporal logic
transition systems
process algebra
model checking
high level
specification language
petri net
formal methods
real world
reactive systems
reverse engineering
distributed systems
complex data
complex systems
case study
database