Search alternatives:
automated proof » automated process, automated program
Cover Image
Read Now

1
Published 1993
Springer Berlin Heidelberg
“... are mathematically more succinct than imperative programs; - systems for automated proof checking based on lambda...”
Cover Image
Read Now

2
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... verification and transformation -- An integration of model checking with automated proof checking -- Automatic...”