Login / Signup
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