Formal Methods Activities
- LogicGuard
- A project sponsored by FFG (2012-).
- Formally Specified Computer Algebra Software
- A PhD project in the frame of the FWF Doctoral Program Computational Mathematics (2010-).
- RISC ProgramExplorer
- Work on the RISC ProgramExplorer (2008-).
- RISC ProofNavigator
- Work on the RISC ProofNavigator (2005-2008).
- MathBroker II
- The results of the "MathBroker II" project (2005-2007).
- MathBroker
- The results of the "MathBroker" project (2001-2003).
Wolfgang Schreiner
Last modified: January 19, 2012