Formal Specification and Verification of Multi-Agent Robotics Software Systems - A Case Study.
Nadeem AkhtarYann Le GuyadecFlávio OquendoPublished in: ICAART (2009)
Keyphrases
- software systems
- formal specification
- model checking
- multi agent
- software components
- concurrent systems
- formal methods
- multi agent systems
- model checker
- protocol specification
- software engineering
- process algebra
- source code
- reverse engineering
- software development
- object oriented design
- specification language
- temporal logic
- formal verification
- software maintenance
- software evolution
- high assurance
- software architecture
- artificial intelligence
- data abstraction
- software design
- asynchronous circuits
- metamodel
- reinforcement learning
- case study
- cooperative
- software testing
- grid workflow
- software reuse
- multiagent systems
- software projects
- design patterns
- software engineers
- complex software systems
- software quality
- building blocks
- information technology
- clone detection
- e learning
- databases
- software intensive systems
- component based software