Recent changes to Home

WikiPage Home modified by Niklas Gawell

Niklas Gawell — Fri, 09 Sep 2011 13:17:35 -0000

--- v3 
+++ v4 
@@ -4,4 +4,3 @@
 
 [Building instructions]
 [User guides]
-[Developer info]

WikiPage Home modified by Niklas Gawell

Niklas Gawell — Thu, 18 Aug 2011 17:34:08 -0000

--- v2 
+++ v3 
@@ -1,3 +1,7 @@
 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](http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.108.5137).
 
-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.
+
+[Building instructions]
+[User guides]
+[Developer info]

WikiPage Home modified by Niklas Gawell

Niklas Gawell — Thu, 18 Aug 2011 17:31:51 -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/wiki/markdown_syntax/) syntax.
+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](http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.108.5137).
+
+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 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/wiki/markdown_syntax/) syntax.