Formal methods for checking realizability of coalitions in 3-party systems.

Ansuman Banerjee Pallab Dasgupta P. P. Chakrabarti

Published in: MEMOCODE (2006)

Keyphrases

formal methods
knowledge based systems
safety critical
model checking
cooperative
software engineering
formal analysis
artificial intelligence
fine grained
security properties
database
knowledge base
learning systems
formal specification
model checker
provably correct