RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
description  |  members  |  activities  |  seminar  |  publications  |  software
  
search:
  

Formal Methods Activities

LogicGuard II
A project sponsored by FFG (2014-2016).
LogicGuard
A project sponsored by FFG (2012-2013).
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