Incremental Verification of Compiler Optimizations.
Grigory FedyukovichArie GurfinkelNatasha SharyginaPublished in: NASA Formal Methods (2014)
Keyphrases
- model checking
- programming language
- general purpose
- incremental learning
- verification method
- software systems
- signature verification
- optimization strategies
- distributed memory machines
- artificial intelligence
- functional verification
- java bytecode
- incremental algorithms
- person identification
- asynchronous circuits
- incremental clustering
- formal verification
- incremental version
- single pass
- formal methods
- data driven