Modest language guide
Create a Modest language guide for the modestchecker.net website, similar to the documentation of the PRISM language at http://www.prismmodelchecker.org/manual/ThePRISMLanguage/Introduction.
Edited by Arnd Hartmanns
Create a Modest language guide for the modestchecker.net website, similar to the documentation of the PRISM language at http://www.prismmodelchecker.org/manual/ThePRISMLanguage/Introduction.