Automated Real Proving in PVS via MetiTarski.

William Denman César A. Muñoz

Published in: FM (2014)

Keyphrases

semi automated
formal verification
genetic algorithm
theorem proving
fully automated
data structure
multiresolution
expert systems
computer aided
object oriented
knowledge representation
data sets
cooperative
wide range
social networks
real world
databases