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: Math. Struct. Comput. Sci. (2011)
Keyphrases
- automated verification
- model checking
- color images
- formal methods
- automated reasoning
- formal verification
- theorem prover
- color space
- access control
- color information
- semantic relations
- color constancy
- artificial intelligence
- term rewriting
- color correction
- public key
- color features
- distributed systems
- probabilistic reasoning
- color histogram
- theorem proving
- color components
- temporal logic