Concurrent software fine-coarse-grained automatic modelling by Coloured Petri Nets for model checking.
Wenjie ZhongJian-Tao ZhouTao SunPublished in: IET Softw. (2023)
Keyphrases
- model checking
- coloured petri nets
- formal verification
- coarse grained
- fine grained
- temporal logic
- model checker
- bounded model checking
- symbolic model checking
- formal methods
- automated verification
- formal specification
- reactive systems
- temporal properties
- transition systems
- process algebra
- reachability analysis
- verification method
- protein sequences
- high level
- asynchronous circuits
- pspace complete
- abstract interpretation
- computation tree logic
- concurrent systems
- timed automata
- epistemic logic
- software development
- petri net
- software systems
- machine learning