TestingNoninterference:与“快速测试无干扰”论文相关的Haskell代码。 相关的Coq证明位于单独的存储...
需积分: 5 67 浏览量
2021-05-17
07:14:25
上传
评论
收藏 99KB ZIP 举报
TestingNoninterference-master.zip （63个子文件） 
TestingNoninterference-master register 
Timeout.hs 1004B Machine.hs 7KB Memory.hs 2KB Shrinking.hs 11KB Labels.hs 1KB Flags.hs 3KB LLNI.hs 1KB Zipper.hs 917B Rules.hs 5KB Instructions.hs 4KB SingleStateArb.hs 516B EENI.hs 1012B Primitives.hs 3KB Reachability.hs 4KB Driver.hs 15KB MSNI.hs 2KB Mutate.hs 3KB Makefile 671B Indist.hs 4KB SanityChecks.hs 1KB Pretty.hs 7KB Generation.hs 16KB SSNI.hs 3KB dot-ghci-common.ghci 180B LICENSE 1KB stack Machine.hs 14KB Labels.hs 2KB Flags.hs 12KB .ghci 69B Makefile.picotables 5KB Instr.hs 4KB ObservableInst.hs 14KB Observable.hs 7KB DriverUtils.hs 25KB Driver.hs 10KB GenerateTablesMakefile.hs 10KB Makefile 18KB GenericMachine.hs 7KB scripts cmds-ds02.sh 2KB cmds-ds05.sh 2KB cmds-fix-heisenbug.sh 853B cmds-ds07.sh 1KB cmds-ds04.sh 2KB cmds-ds06.sh 903B distribute-commands.sh 658B cmds-ds03.sh 2KB create-distributed-commands.pl 2KB shown-to-haskell.pl 1KB cmds-ds08.sh 1KB Generation.hs 47KB Makefile.common 898B common Timeout.hs 1004B Trace.hs 468B LaTeX.hs 452B Aggregate.hs 690B .ghci 69B Util.hs 2KB Average.hs 1KB Makefile 139B Pretty.hs 464B .gitignore 41B Makefile 587B README.md 5KB资源评论
