ltlfo2mon:基于自动机的一阶 LTL 监控框架
需积分: 9 152 浏览量
2021-06-03
16:10:32
上传
评论
收藏 14.36MB ZIP 举报
ltlfo2mon-master.zip （81个子文件） 
ltlfo2mon-master 
ltl3tools.sh 52B .gitignore 66B template.tex 891B build.properties 19B project plugins.sbt 56B src main scala ltlfo2mon Main.scala 5KB cli Ltlfo2mon.scala 6KB datatype Trace.scala 1KB Formula.scala 12KB Boolean3.scala 1KB Structure.scala 3KB Term.scala 2KB Types.scala 1KB util Printable.scala 8KB parsing LTL3ToolsParser.scala 4KB TraceParser.scala 2KB OperatorPrecedenceParsers.scala 2KB LBTParser.scala 4KB FormulaParser.scala 6KB monitor Progression.scala 6KB optimised State.scala 1KB Transition.scala 2KB BooleanFormula.scala 5KB SAbasedMonitor.scala 15KB RunState.scala 4KB RunTransition.scala 1KB States.scala 3KB IMonitor.scala 1KB unoptimised SA.scala 8KB State.scala 2KB BooleanFormula.scala 4KB Run.scala 1KB SAbasedMonitor.scala 10KB Conf.scala 6KB test scala ltlfo2mon util parsing FormulaParserTest.scala 6KB experiments results lookuptables_sa.dat 27B formula_6_traces_10000_sa.dat 862KB formula_3_traces_10000_optimised.dat 966KB formula_3_traces_10000_sa.dat 931KB formula_1_traces_10000_progression.dat 267KB formula_7_traces_10000_optimised.dat 722KB formula_6_traces_10000_optimised.dat 852KB formula_3_traces_10000_progression.dat 364KB formula_5_traces_10000_optimised.dat 974KB formula_6_traces_10000_progression.dat 307KB lookuptables_opt.dat 25B formula_4_traces_10000_optimised.dat 938KB formula_2_traces_10000_sa.dat 693KB formula_1_traces_10000_optimised.dat 693KB formula_7_traces_10000_progression.dat 266KB formula_7_traces_10000_sa.dat 766KB formulae.dat 1KB formula_8_traces_10000_sa.dat 1.01MB formula_2_traces_10000_progression.dat 311KB formula_2_traces_10000_optimised.dat 693KB formula_4_traces_10000_sa.dat 899KB formula_8_traces_10000_progression.dat 293KB formula_8_traces_10000_optimised.dat 1.04MB formula_5_traces_10000_sa.dat 936KB formula_4_traces_10000_progression.dat 296KB formula_5_traces_10000_progression.dat 324KB formula_1_traces_10000_sa.dat 693KB traces_10000_mu3_sigma1.6.dat 3.2MB run-experiments.sh 778B traces_10000_mu5_sigma2.dat 3.6MB generate-look-up-table-size-files.sh 223B traces_10000_mu5_sigma1.8.dat 3.6MB plot-sa-vs-opt-tikz.r 5KB formulae.dat 492B generate-traces.py 1KB traces_10000_mu9_sigma2.5.dat 4.42MB traces_10000_mu4_sigma1.6.dat 3.4MB traces_10000_mu1.2_sigma1.1.dat 2.88MB plot-prgr-vs-sa-tikz.r 4KB INFO 216B plot-lookuptables-tikz.r 3KB
LICENSE.txt 35KB README.md 7KB lib 
jmte-3.1.jar 123KB ltlfo2mon.jar 7.73MB build.sbt 668B资源评论
