ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System.
Francisco-Jesús Martín-MateosJulio RubioJosé-Luis Ruiz-ReinaPublished in: Calculemus/MKM (2009)
Keyphrases
- symbolic execution
- hardware designs
- model checking
- formal verification
- concurrent systems
- computer programs
- program execution
- formal analysis
- real time
- control flow
- test generation
- fixpoint
- control structures
- automatic programming
- intermediate level
- multiscale
- database systems
- decision trees
- website
- social networks
- genetic algorithm