Personnes présentes
- Marco David (student ENS Ulm, organiser)
- ...
Presentators
- Burkhart Wolff
Summary:
I give a system-oriented talk for mathematicians and computer-scientist on system architecture, its links to theoretical foundations and the basic pragmatics of the Isabelle interactive proof system.
Note that Isabelle's versatility of the Isabelle Platform (beyond an interactive theorem proving environment) has been applied for a number of projects such as HOL-TestGen, HOL-OCL, Isabelle/C, and Isabelle_DOF.