GitHub - zzattack/mucalc: A model checker for formulae in the modal mu-calculus on LTS's stored in Aldebaran format, using a naive approach or the Emerson-Lei algorithm

Name		Name	Last commit message	Last commit date
Latest commit History 10 Commits
Properties		Properties
.gitignore		.gitignore
EmersonLei.cs		EmersonLei.cs
Environment.cs		Environment.cs
FixedPoint.cs		FixedPoint.cs
FormulaRewriter.cs		FormulaRewriter.cs
GOLD Engine.dll		GOLD Engine.dll
LTS.cs		LTS.cs
LTSState.cs		LTSState.cs
LTSTransition.cs		LTSTransition.cs
ModelChecker.csproj		ModelChecker.csproj
ModelChecker.sln		ModelChecker.sln
MuCalculusParser.cs		MuCalculusParser.cs
MuFormula.cs		MuFormula.cs
NaiveSolver.cs		NaiveSolver.cs
PredicateTransformer.cs		PredicateTransformer.cs
Program.cs		Program.cs
RegularFormula.cs		RegularFormula.cs
mcf_grammar.cs		mcf_grammar.cs
mcf_grammar.egt		mcf_grammar.egt
mcf_grammar.grm		mcf_grammar.grm