Modular Verification of Dynamic Properties for Reactive Systems.

Jacques Julliand Pierre-Alain Masson Hassan Mountassir

Published in: IFM (1999)

Keyphrases

reactive systems
model checking
formal methods
databases
information flow
building blocks
dynamic environments
knowledge management
source code
high level
intelligent agents
web services
temporal logic
social networks
artificial intelligence
database
verification method