Abstract Interpretation and Verification of Reactive Systems.

Jean-Claude Fernandez

Published in: WSA (1993)

Keyphrases

model checking
abstract interpretation
reactive systems
temporal logic
formal specification
formal methods
decision making
dynamic analysis
termination analysis
database
data mining
artificial intelligence
multi agent systems
relational databases
data model
active databases