HighCrit / PSM Public

A technique for specifiying mu-calculus formulas using UML state-machine diagrams.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 31 Commits
PSM.Cli		PSM.Cli
PSM.Common.MuCalc.Tests		PSM.Common.MuCalc.Tests
PSM.Common.MuCalc		PSM.Common.MuCalc
PSM.Common.PROPEL		PSM.Common.PROPEL
PSM.Common		PSM.Common
PSM.Constructors.PROPEL2DNL		PSM.Constructors.PROPEL2DNL
PSM.Constructors.PROPEL2MuCalc.Tests		PSM.Constructors.PROPEL2MuCalc.Tests
PSM.Constructors.PROPEL2MuCalc		PSM.Constructors.PROPEL2MuCalc
PSM.Constructors.PROPEL2SM		PSM.Constructors.PROPEL2SM
PSM.Constructors.SM2DOT		PSM.Constructors.SM2DOT
PSM.Gui		PSM.Gui
PSM.Parsers.Labels.Grammar		PSM.Parsers.Labels.Grammar
PSM.Parsers.Labels.Tests		PSM.Parsers.Labels.Tests
PSM.Parsers.Labels		PSM.Parsers.Labels
PSM.Parsers.mCRL2Parser		PSM.Parsers.mCRL2Parser
PSM.UML.SM		PSM.UML.SM
PSM		PSM
cordis-to-cordis @ 5f35367		cordis-to-cordis @ 5f35367
.editorconfig		.editorconfig
.gitignore		.gitignore
.gitmodules		.gitmodules
LICENSE		LICENSE
PSM.sln		PSM.sln
README.md		README.md
stylecop.json		stylecop.json