about welcome! the castle of hagenberg sponsors partners how to reach us contact certificates | people members visitors | publications | research algebraic geometry description members seminar publications software algorithm theory description members seminar publications algorithmic combinatorics description members seminar publications software events links computer algebra description members seminar publications software formal methods description members activities seminar publications software parallel/distributed computing description members seminar projects publications software theorema description members seminar publications software gb bibliography | education courses phd program theses risc moodle | industry | conferences | media press archive image archive | projects internal my risc my mail my personal data my publications my library my visitors my allocations my teaching forum talks risc portal risc community risc wiki risc mailing lists sysadmin user info quick guide complete guide system administration equipment rooms media press archive image archive > research > formal methods >  description  |  members  |  activities  |  seminar  |  publications  |  software    search:    sitemap

Formal Methods Software at RISC

The RISC ProgramExplorer

An interactive program reasoning environment.

The RISC ProofNavigator

An interactive proof assistant for program/system verification.

MiniMaple

Software for formal specification and verification of Maple programs.

---

Wolfgang Schreiner

Last modified: January 19, 2012