Towards incremental deductive verification for ATL.
Zheng ChengMassimo TisiPublished in: PAME/VOLT@MoDELS (2016)
Keyphrases
- model checking
- temporal logic
- formal verification
- multi agent systems
- incremental learning
- alternating time temporal logic
- verification method
- object oriented
- signature verification
- bounded model checking
- incremental clustering
- asynchronous circuits
- formal specification
- expert systems
- learning algorithm
- single pass
- explanation based learning
- efficient incremental
- concurrent systems
- incremental version
- deductive reasoning
- reinforcement learning
- hypothesis formation
- abductive inference
- similarity measure