Model Checking Time Window Temporal Logic for Hyperproperties.
Ernest BonnahLuan Viet NguyenKhaza Anuarul HoquePublished in: MEMOCODE (2023)
Keyphrases
- temporal logic
- model checking
- formal specification
- modal logic
- model checker
- verification method
- satisfiability problem
- finite state
- concurrent systems
- computation tree logic
- formal methods
- formal verification
- temporal properties
- bounded model checking
- epistemic logic
- symbolic model checking
- reactive systems
- transition systems
- belief revision
- search algorithm