Recent changes to Home

WikiPage Home modified by Niklas Gawell

Niklas Gawell — Fri, 19 Aug 2011 09:28:38 -0000

--- v3 
+++ v4 
@@ -1,3 +1,5 @@
 MuChecker is a model checker for checking properties of context free proccesses expressed in mu calculus. The implementation is the algorithm presented in 1997 by Olof Burkart and Bernhard Steffen in their paper Model checking the full modal mu-calculus for infinite sequential processes.
 
-The model checker currently has a command line interface, as well as an Android gui
+The model checker currently has a command line interface, as well as an Android gui.
+
+Se [Wiki](https://sourceforge.net/p/muchecker/wiki/) for more info.

WikiPage Home modified by Niklas Gawell

Niklas Gawell — Thu, 18 Aug 2011 17:29:10 -0000

--- v2 
+++ v3 
@@ -1,3 +1,3 @@
-MuChecker is a model checker for checking properties of context free proccesses expressed in mu calculus.
+MuChecker is a model checker for checking properties of context free proccesses expressed in mu calculus. The implementation is the algorithm presented in 1997 by Olof Burkart and Bernhard Steffen in their paper Model checking the full modal mu-calculus for infinite sequential processes.
 
-The model checker currently has a command line interface, aswell as an Android gui
+The model checker currently has a command line interface, as well as an Android gui

WikiPage Home modified by Niklas Gawell

Niklas Gawell — Thu, 18 Aug 2011 11:37:12 -0000

--- v1 
+++ v2 
@@ -1,5 +1,3 @@
-Welcome to your wiki!
-
-This is the default page, edit it as you see fit. To add a page simply reference it within brackets, e.g.: [SamplePage].
-
-The wiki uses [Markdown](/p/muchecker/home/markdown_syntax/) syntax.
+MuChecker is a model checker for checking properties of context free proccesses expressed in mu calculus.
+
+The model checker currently has a command line interface, aswell as an Android gui

WikiPage Home modified by Niklas Gawell

Niklas Gawell — Thu, 18 Aug 2011 07:50:20 -0000

Welcome to your wiki! This is the default page, edit it as you see fit. To add a page simply reference it within brackets, e.g.: [SamplePage]. The wiki uses [Markdown](/p/muchecker/home/markdown_syntax/) syntax.