A logig for the description of behaviours and properties of concurrent systems.

Ahmed Bouajjani Susanne Graf Joseph Sifakis

Published in: REX Workshop (1988)

Keyphrases

concurrent systems
distributed systems
model checking
temporal logic
formal specification
high level
desirable properties
process algebra
open source
petri net
structural properties
data sets
genetic algorithm
formal language