MV-Checker: A software tool for multi-valued model checking intelligent applications with trust and commitment.
Ghalya AlwhishiJamal BentaharAhmed ElwhishiWitold PedryczPublished in: Expert Syst. Appl. (2024)
Keyphrases
- model checking
- multi valued
- temporal logic
- model checker
- automated verification
- formal verification
- symbolic model checking
- verification method
- temporal properties
- finite state machines
- formal specification
- computation tree logic
- timed automata
- epistemic logic
- transition systems
- formal methods
- bounded model checking
- trust model
- normal form
- boolean functions
- motion vectors
- database systems
- modal logic
- probability distribution
- data model
- reinforcement learning