Proof Strategy for Automated Sisal Program Verification.

Dmitry A. Kondratyev Alexei V. Promsky

Published in: TOOLS (2019)

Keyphrases

automated theorem provers
cooperative
theorem proving
real world
relational databases
automated analysis
optimal strategy
theorem prover
fully automated
context sensitive
special case
information technology
lower bound
digital libraries
natural language
database systems
image processing
genetic algorithm