Multi-valued Model Checking A Smart Glucose Monitoring System with Trust.
Ghalya AlwhishiJamal BentaharAhmed ElwhishiPublished in: IWCMC (2023)
Keyphrases
- monitoring system
- model checking
- multi valued
- temporal logic
- formal verification
- trust model
- automated verification
- formal specification
- temporal properties
- model checker
- computation tree logic
- verification method
- symbolic model checking
- bounded model checking
- smart environments
- control algorithm
- epistemic logic
- boolean functions
- normal form
- transition systems
- special case
- database applications