LtlSharp:用于检查LTL公式的可满足性和有效性的库
需积分: 9 68 浏览量
2021-05-01
17:25:11
上传
评论
收藏 3.88MB ZIP 举报
LtlSharp-master.zip （99个子文件） 
LtlSharp-master LtlSharp.CLI 
LtlSharp.CLI.csproj 2KB AssemblyInfo.cs 987B NDesk.Options.dll 22KB Main.cs 3KB Roadmap.md 626B LtlSharp Utils CollectionUtils.cs 1KB QuickGraphUtils.cs 1KB Automata Utils GeneralizedBuchiExtensions.cs 4KB LiteralSetTransitionExtensions.cs 6KB RabinExtensions.cs 14KB TrajanAlgorithm.cs 3KB ProbabilityTransitionExtensions.cs 23KB BuchiExtensions.cs 1KB MarkovChainsExtensions.cs 4KB Transitions AutomatonTransition.cs 2KB Decorations ITransitionDecoration.cs 375B DegeneralizerDecoration.cs 3KB LiteralSetDecoration.cs 2KB ProbabilityDecoration.cs 1KB ProbabilisticAutomata MarkovChain.cs 5KB Automaton.cs 12KB FiniteAutomata NFA.cs 5KB Nodes AutomatonNode.cs 3KB Factories PowerSetAutomatonNodeFactory.cs 2KB AutomatonNodeFactory.cs 1KB IAutomatonNodeFactory.cs 967B ProductAutomatonNodeFactory.cs 3KB ProductAutomatonNode.cs 4KB PowerSetAutomatonNode.cs 3KB IAutomatonNode.cs 821B OmegaAutomata GeneralizedBuchiAutomaton.cs 970B OmegaAutomaton.cs 2KB BuchiAutomaton.cs 3KB DegeneralizerAutomaton.cs 870B RabinAutomaton.cs 2KB TransitionGeneralizedBuchiAutomaton.cs 1KB AcceptanceConditions GeneralizedBuchiAcceptance.cs 3KB BuchiAcceptance.cs 4KB RabinAcceptance.cs 6KB IAcceptanceCondition.cs 2KB Language ITLFormula.cs 25KB LiteralSimplifier.cs 12KB packages.config 210B output LTLParser.cs 39KB AssemblyInfo.cs 983B LtlSharp.csproj 7KB LTL2Buchi GPVW.cs 12KB Gia02.cs 24KB ILTL2BuchiAutomaton.cs 307B Monitoring LTLMonitorHard.cs 5KB MonitoredState.cs 1KB LTLMonitor.cs 3KB ModelCheckers PCTLModelChecker.cs 5KB LiteralSet.cs 4KB EmptinessChecker OnTheFlyEmptinessChecker.cs 4KB EmptinessChecker.cs 2KB OnTheFlyGBAEmptinessChecker.cs 6KB GBAEmptinessChecker.cs 4KB packages repositories.config 182B alglibnet2.0.0.0 alglibnet2.0.0.0.nupkg 333KB lib alglibnet2.dll 1.07MB NUnit.2.6.4 lib nunit.framework.dll 148KB nunit.framework.xml 571KB NUnit.2.6.4.nupkg 97KB
license.txt 1KB QuickGraph.3.6.61119.7 lib net4 QuickGraph.Data.dll 8KB QuickGraph.XML 452KB QuickGraph.Serialization.XML 64KB QuickGraph.Serialization.dll 133KB QuickGraph.Graphviz.dll 40KB QuickGraph.Graphviz.XML 5KB QuickGraph.Data.XML 357B CodeContracts QuickGraph.Data.Contracts.dll 7KB QuickGraph.Graphviz.Contracts.dll 32KB QuickGraph.Contracts.dll 290KB QuickGraph.Serialization.Contracts.dll 74KB QuickGraph.dll 315KB QuickGraph.3.6.61119.7.nupkg 481KB Scripts ltlsharp 62B generate_parser.sh 76B Libraries Antlr3.Runtime.dll 101KB
antlr-3.4-complete.jar 2.28MB .travis.yml 334B LtlSharp.sln 3KB LtlSharp.Tests TestEmptiness.cs 5KB LtlSharp.Tests.csproj 3KB packages.config 275B TestBugs.cs 875B TestLAS.cs 756B TestProbabilisticSystems TestPCTL.cs 2KB TestReachability.cs 7KB Models TestMarkovChain.cs 15KB Test.cs 11KB TestCanonicToString.cs 2KB TestSafra.cs 2KB TestOnTheFly.cs 5KB README.md 3KB .gitignore 106B .nuget packages.config 116B资源评论
