A user-friendly interface to specify temporal properties of concurrent systems.

Nicoletta De Francesco Antonella Santone Gigliola Vaglini

Published in: Inf. Sci. (2007)

Keyphrases

temporal properties
concurrent systems
model checking
temporal logic
formal specification
transition systems
process algebra
formal methods
petri net
modal logic
neural network
case study
distributed systems
expert systems
programming language
theoretical framework