Formal specification and verification of decentralized self-adaptive systems using symmetric nets.
Matteo CamilliLorenzo CapraPublished in: Discret. Event Dyn. Syst. (2021)
Keyphrases
- formal specification
- formal methods
- model checking
- specification languages
- concurrent systems
- distributed systems
- object oriented design
- model checker
- machine learning
- database
- process algebra
- specification language
- grid workflow
- software components
- temporal logic
- building blocks
- response time
- relational databases
- cooperative
- multi agent
- formal verification
- data abstraction
- asynchronous circuits
- software engineering
- artificial intelligence