A Coq Library for Internal Verification of Running-Times.
Jay A. McCarthyBurke FetscherMax S. NewDaniel FelteyRobert Bruce FindlerPublished in: FLOPS (2016)
Keyphrases
- running times
- formal methods
- times faster
- worst case
- lower bound
- internal and external
- model checking
- formal verification
- formal analysis
- artificial intelligence
- internal states
- knowledge based systems
- cross platform
- asynchronous circuits
- functional verification
- data mining
- high security
- distributed systems
- information retrieval