CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates.
Frédéric BlanquiAdam KoprowskiPublished in: CoRR (2012)
Keyphrases
- automated verification
- model checking
- automated reasoning
- formal verification
- theorem prover
- color information
- color images
- term rewriting
- formal methods
- color space
- temporal logic
- image regions
- access control
- color correction
- knowledge representation
- image features
- color features
- bayesian networks
- color distribution
- public key
- color constancy
- graph theory
- semantic relations
- combinatorial optimization