Exploration of practitioner experiences of flexibility and transparency to improve BIM-based model checking systems.
Peter Nørkjær GadeKjeld SvidtPublished in: J. Inf. Technol. Constr. (2021)
Keyphrases
- model checking
- automated verification
- temporal logic
- reactive systems
- finite state machines
- formal methods
- formal specification
- asynchronous circuits
- model checker
- finite state
- partial order reduction
- formal verification
- artifact centric
- symbolic model checking
- temporal properties
- reachability analysis
- pspace complete
- verification method
- artificial intelligence
- epistemic logic
- transition systems
- computation tree logic
- search algorithm