Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
RISC ProgramExplorer 1.0
1 view
Skip to first unread message
Wolfgang Schreiner
Oct 3, 2011, 6:35:42 AM10/3/11
to
RISC ProgramExplorer 1.0
========================
http://www.risc.jku.at/research/formal/software/ProgramExplorer
This is to announce the first release of the RISC ProgramExplorer,
a computer-supported program reasoning environment for a simple
programming language "MiniJava"; it incorporates the
RISC ProofNavigator as a semi-automatic proving assistant. The
software has been developed mainly for educational purposes;
it runs on computers with x86-compatible processors under the GNU/
Linux
operating system and is freely available under the terms of the GNU
GPL.
See the screencast respectively the manual available on the
web page for further information.
Best regards,
Wolfgang Schreiner <Wolfgang....@risc.jku.at>
========================
http://www.risc.jku.at/research/formal/software/ProgramExplorer
This is to announce the first release of the RISC ProgramExplorer,
a computer-supported program reasoning environment for a simple
programming language "MiniJava"; it incorporates the
RISC ProofNavigator as a semi-automatic proving assistant. The
software has been developed mainly for educational purposes;
it runs on computers with x86-compatible processors under the GNU/
Linux
operating system and is freely available under the terms of the GNU
GPL.
See the screencast respectively the manual available on the
web page for further information.
Best regards,
Wolfgang Schreiner <Wolfgang....@risc.jku.at>
0 new messages