A Coq library for internal verification of running-times.
Jay A. McCarthyBurke FetscherMax S. NewDaniel FelteyRobert Bruce FindlerPublished in: Sci. Comput. Program. (2018)
Keyphrases
- running times
- formal methods
- times faster
- lower bound
- worst case
- model checking
- formal analysis
- internal and external
- theorem prover
- knowledge based systems
- signature verification
- face verification
- concurrent systems
- knowledge base
- internal structures
- data mining
- handwritten signature verification
- person identification
- database
- search algorithm
- optimal solution
- artificial intelligence
- databases