Formal Verification of Molecular Computational Models in ACL2: A Case Study.
Francisco-Jesús Martín-MateosJosé-Antonio AlonsoMaría-José HidalgoJosé-Luis Ruiz-ReinaPublished in: CAEPIA (2003)
Keyphrases
- computational models
- formal verification
- computational model
- model checking
- language acquisition
- natural language learning
- model checker
- cognitive modelling
- automated verification
- bounded model checking
- computational modeling
- cognitive architecture
- symbolic model checking
- cognitive processes
- cognitive modeling
- temporal logic
- case study
- program slicing
- cognitive architectures
- drug discovery
- biological systems
- active vision
- social learning
- mathematical models
- reinforcement learning