An efficient tool for system-level verification of behaviors and temporal properties.

Paolo Camurati Fulvio Corno Paolo Prinetto

Published in: EURO-DAC (1993)

Keyphrases

temporal properties
model checking
formal methods
temporal logic
neural network
multi agent
cooperative
pattern recognition
relational databases
general purpose
computational intelligence
programming language
graphical models
formal specification