BUCKER 2.0: An Unfolding Based Checker for CTL.
Lanlan DongGuanjun LiuDongming XiangPublished in: ICNSC (2019)
Keyphrases
- model checking
- temporal logic
- computation tree logic
- bounded model checking
- temporal properties
- petri net
- linear temporal logic
- minimal change
- transition systems
- alternating time temporal logic
- formal verification
- epistemic logic
- formal methods
- formal specification
- case study
- artificial intelligence
- belief revision
- image processing