A Formal Specification and Verification of Normative Multi-agent Systems by DisCSP.
Aida BoudhaouiaBelhassen MazighEzzine MissaouiPublished in: AICCSA (2017)
Keyphrases
- formal specification
- multi agent systems
- model checking
- concurrent systems
- formal methods
- model checker
- normative systems
- specification languages
- protocol specification
- specification language
- process algebra
- temporal logic
- object oriented design
- multi agent
- intelligent agents
- cooperative
- autonomous agents
- formal verification
- data abstraction
- grid workflow
- bounded model checking
- agent architecture
- reverse engineering
- epistemic logic
- computation tree logic
- information systems
- software systems
- open source
- object oriented
- case study