What is a proof engine?
give this guest lecture at the course programming theory
you are invited to listen.
A proof engine is a computational unit that performs logical and
mathematical reasoning. A proof engine is integrated into a system
development tool, and is used to automatically verify whether a software or
hardware system is correct or not.
This seminar is presented by Prover Technology AB and will present the
concept of proof engines and how industry applications benefit from using
formal verification techniques.
About Prover Technology
Prover Technology is, with its product Prover Plug-In, the leading provider
of commercially packaged proof engines. The product is used to automatically
verify hardware and software designs to 100%.
Founded in Stockholm 1989, Prover Technology is one of the industrys most
experienced companies in the field of automated formal verification.
See further www.prover.com.
Place: Information technology, Uppsala University
Everyone is welcome !
Updated 14-Nov-2001 08:23 by Roland Grönroos
e-mail: info -at- astec.uu.se