Experience with the Larch Prover.

Jeannette M. Wing Chun Gong

Published in: Formal Methods in Software Development (1990)

Keyphrases

theorem proving
decision making
special case
theorem prover
automated theorem proving
real world
information retrieval
three dimensional
objective function
search algorithm
lower bound
domain knowledge