Protocol Specification and Verification by Using Computational Logic.
Federico ChesaniAnna CiampoliniPaola MelloMarco MontaliPaolo TorroniMarco AlbertiSergio StorariPublished in: WOA (2005)
Keyphrases
- protocol specification
- computational logic
- logic programming
- communication protocols
- formal specification
- management science
- early days
- inductive logic programming
- multi agent systems
- formal methods
- logic programs
- future directions
- model checking
- knowledge base
- transformation rules
- artificial intelligence
- program synthesis
- data management
- information systems