 |
 |
What is a proof engine?
Mats Boman,
Prover Technology
give this guest lecture at the course programming theory
you are invited to listen.
Abstract
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.ASTEC seminar
November 29, 2001
Place: Information technology, Uppsala University
Room: 1145
Time: 10.15-12.00
Everyone is welcome !
Updated 14-Nov-2001 08:23 by Roland Grönroos
e-mail: info -at- astec.uu.se Location: http://www.astec.uu.se/Seminars/01/1129.shtml