Model Checking Intelligent Information Systems with 3-Valued Timed Commitments.
Ghalya AlwhishiNagat DrawelJamal BentaharPublished in: MobiWIS (2022)
Keyphrases
- intelligent information systems
- model checking
- timed automata
- partial order reduction
- temporal logic
- finite state machines
- reachability analysis
- temporal properties
- artificial intelligence
- automated verification
- verification method
- formal verification
- formal specification
- model checker
- information systems
- computational intelligence
- finite state
- epistemic logic
- bounded model checking
- symbolic model checking
- transition systems
- petri net
- formal methods
- concurrent systems
- database
- genetic algorithm
- linear temporal logic
- theorem proving
- first order logic
- artificial neural networks
- database systems