An object-oriented dual language for specifying reactive systems.

Giacomo Bucci Maurizio Campanai Paolo Nesi Marcello Traversi

Published in: ICRE (1994)

Keyphrases

reactive systems
object oriented
model checking
programming language
temporal logic
information flow
language learning
petri net
state machines
database
control flow
reverse engineering
formal methods
theorem prover
multi agent systems
natural language
information systems
machine learning