Campus Event Calendar
Event Entry
What and Who
Using FINDER as a Module
John Slaney
Talk
AG 1, AG 2, AG 3, INET, AG 4, AG 5, D6, RG1, SWS
AG Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Friday, 18 April 97
14:00
60 Minutes
46.1 - MPII
019
Saarbrücken
Abstract
This talk describes the functionality of the model generator FINDER, concentrating particularly on its use as a module to be called from within other programs. It was used successfully in that way in the theorem prover SCOTT, and also has possible applications as part of a library of such high-performance modules accessible to a proof planner or other complex system.
Contact
--email hidden
passcode not visible
logged in users only