Verifying Java Programs By Theorem Prover HOL.
Anduo WangFei HeMing GuXiaoyu SongPublished in: COMPSAC (1) (2006)
Keyphrases
- theorem prover
- java programs
- multi threaded
- theorem proving
- higher order logic
- natural deduction
- software components
- inference rules
- term rewriting
- first order logic
- automated theorem proving
- java language
- formal proof
- model checking
- test suite
- proof search
- knowledge base
- parallel implementation
- genetic algorithm
- data processing
- training data
- artificial intelligence