Industrial Application of Theorem Proving to System Level Design.

Simon Bainbridge Albert John Camilleri Roger Fleming

Published in: TPHOLs (1991)

Keyphrases

theorem proving
industrial applications
automatic programming
inference rules
automated reasoning
parallel search
geometry theorem proving
theorem prover
proof procedure
machine learning
decision support
first order logic
constraint satisfaction
distributed search
proof planning