Formal Specification and Verification of Multi-Agent Systems.
Mustapha BourahlaMohamed BenmohamedPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- formal specification
- model checking
- multi agent systems
- concurrent systems
- formal methods
- model checker
- temporal logic
- formal verification
- specification languages
- process algebra
- object oriented design
- protocol specification
- bounded model checking
- specification language
- epistemic logic
- data abstraction
- multi agent
- agent architecture
- cooperative
- reverse engineering
- intelligent agents
- grid workflow
- natural language
- business rules
- asynchronous circuits
- multiagent systems
- case study
- formal specification language