Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications.
Yuanrui ZhangHengyang WuYixiang ChenFrédéric MalletPublished in: FTSCS (2018)
Keyphrases
- dynamic logic
- automated verification
- model checking
- concurrent systems
- formal verification
- model checker
- bounded model checking
- modal logic
- asynchronous circuits
- temporal logic
- reasoning about actions
- imperative programs
- propositional dynamic logic
- delay insensitive
- multiple input
- signature verification
- verification method
- agent programming
- vector space
- formal specification
- formal methods
- specification language
- high level
- protocol specification
- face verification
- dynamic environments
- relational databases
- control flow
- knowledge base