Verify: a toolbox for deterministic verification of computational models.
Giuseppe Alessandro Parasiliti PalumboGiulia RussoGiuseppe SgroiMarco VicecontiMarzio PennisiCristina CurreliFrancesco PappalardoPublished in: BIBM (2020)
Keyphrases
- computational models
- verification method
- computational model
- computational modeling
- model checking
- cognitive modeling
- cognitive architecture
- cognitive processes
- language acquisition
- temporal logic
- formal verification
- face verification
- cognitive modelling
- software package
- active vision
- cognitive architectures
- biological systems
- asynchronous circuits
- biological vision