Search Results

There are many kinds of books on formal logic. Some have philosophers as their intended audience, some mathematicians, some computer scientists. Although there

This text and software package introduces readers to automated theorem proving, while providing two approaches implemented as easy-to-use programs. These are se

Growing demands for the quality, safety, and security of software can only be satisfied by the rigorous application of formal methods during software design. Th

A one-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied.

A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested i