synthesis-aided-basic-block-assurance:支持综合辅助基本模块模型可靠性保证框架的工具
需积分: 0 80 浏览量
2021-04-29
09:03:17
上传
评论
收藏 5.69MB ZIP 举报
synthesis-aided-basic-block-assurance-master.zip （90个子文件） 
synthesis-aided-basic-block-assurance-master dependencies 
unbeast-path.txt 17B efsmtools-path.txt 16B
fast-automaton-generator.jar 1.53MB bosy-path.txt 9B g4ltlst-path.txt 7B jars bosy-generator.jar 763KB g4ltl-st-generator.jar 763KB efsmtools-generator.jar 761KB unbeast-generator.jar 766KB nusmv-trace-recorder.jar 762KB
ltl2tgba-wrapper 242B build.xml 6KB LICENSE 1KB src basic_block_generator MealyMachine.java 21KB Trace.java 3KB formula LTLFormula.java 1KB BinaryOperator.java 4KB UnaryOperator.java 2KB Proposition.java 5KB BinaryFunction.java 4KB Util.java 2KB variable Variable.java 1KB BooleanVariable.java 1KB IntegerVariable.java 2KB ValueCombination.java 4KB ProblemInstance.java 8KB MainBase.java 10KB main UnbeastGenerator.java 11KB BoSyGenerator.java 8KB G4LTLSTGenerator.java 6KB EFSMToolsGenerator.java 5KB NuSMVTraceRecorder.java 7KB generated ltlListener.java 5KB ltlLexer.tokens 294B ltl.tokens 294B ltlLexer.java 8KB ltlParser.java 33KB ltlBaseListener.java 5KB sc.sc 1B spin.sh 1KB examples binary_delay binary_delay_header_2.txt 2KB unbeast.sh 669B g4ltlst.sh 669B compare.sh 739B prepare-instances.sh 499B binary_delay_wrapper_2.smv 277B bosy.sh 610B efsmtools.sh 797B binary_delay_header_3.txt 8KB binary_delay_wrapper_3.smv 277B flip_flop unbeast.sh 399B g4ltl-st.sh 399B compare.sh 478B flip_flop.txt.old 713B flip_flop.txt 715B bosy.sh 354B efsmtools.sh 402B timer timer_wrapper_4.smv 443B timer_header_3.txt 2KB unbeast.sh 669B g4ltlst.sh 669B compare.sh 3KB timer_wrapper_3.smv 443B timer_wrapper_2.smv 443B prepare-instances.sh 473B timer_header_4.txt 3KB bosy.sh 610B efsmtools.sh 848B timer_header_2.txt 1KB pulse unbeast.sh 669B pulse_header_3.txt 4KB g4ltlst.sh 669B pulse_header_2.txt 4KB compare.sh 2KB prepare-instances.sh 473B pulse_wrapper_3.smv 272B pulse_wrapper_2.smv 273B pulse_header_4.txt 5KB bosy.sh 610B efsmtools.sh 848B pulse_wrapper_4.smv 272B c-lib linux64 libBAJni.so 80KB linux32 libBAJni.so 88KB win32 ltl2ba.dll 68KB linux libBAJni.so 80KB lib args4j-2.0.21.jar 59KB commons-lang3-3.1.jar 308KB antlr-runtime-4.7.1.jar 329KB README.md 3KB ltl.g4 3KB资源评论
一叶障不了目
- 粉丝: 12
- 资源: 4608
