Keyphrases
- formal verification
- cognitive models
- model checking
- cognitive processes
- cognitive model
- cognitive modeling
- cognitive architecture
- cognitive science
- automated verification
- bounded model checking
- model checker
- computational models
- symbolic model checking
- causal inferences
- database systems
- temporal logic
- computational intelligence
- learning process
- artificial intelligence
- data mining