Verifying Temporal Properties of CommUnity Designs.

Nazareno Aguirre Germán Regis T. S. E. Maibaum

Published in: IFM (2007)

Keyphrases

temporal properties
model checking
temporal logic
possibility theory
formal specification
formal methods
artificial intelligence
cooperative
fuzzy logic
incomplete information
online communities