Verification of concurrent code from synchronous specifications.
Kai HuTeng ZhangYi DingJian ZhuJean-Pierre TalpinPublished in: Sci. Comput. Program. (2021)
Keyphrases
- concurrent programs
- concurrent systems
- process algebra
- automated verification
- model checking
- asynchronous circuits
- formal verification
- bounded model checking
- model checker
- formal specification
- control flow
- code generation
- symbolic execution
- source code
- specification language
- unit testing
- delay insensitive
- temporal logic
- protocol specification
- test generation
- mutual exclusion
- face verification
- asynchronous communication
- formal methods
- data flow
- databases