about welcome! the castle of hagenberg partners conferences media how to reach us contact certificates | people | publications | projects | 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 seminar publications software parallel/distributed computing description members seminar projects publications software theorema description members seminar publications software events | education courses phd program theses risc moodle | industry internal my risc my mail my personal data my publications my library my allocations my teaching forum talks risc wiki risc portal risc mailing lists sysadmin user info quick guide complete guide system administration equipment rooms image archive media archive > research > formal methods >  description  |  members  |  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.

---

Wolfgang Schreiner

Last modified: Wed Mar 3 18:44:59 CET 2010