Formal specification and validation of multi-agent behaviour using TLA+ and TLC model checker.
Toufik TaibiPublished in: Int. J. Artif. Intell. Soft Comput. (2008)
Keyphrases
- formal specification
- model checker
- model checking
- temporal logic
- multi agent
- formal methods
- specification language
- object oriented design
- formal verification
- concurrent systems
- process algebra
- reverse engineering
- modal logic
- multi agent systems
- cooperative
- reinforcement learning
- epistemic logic
- databases
- database
- test suite
- expert systems
- information systems