-
- Downloads
Introduce new EM connective
- Example: CTLFSPEC EM [ TRUE, EX TRUE, EF TRUE ] | EM [ FALSE ] - Implementation not complete, but model checking works
Showing
- NuSMV/code/nusmv/core/compile/PredicateExtractor.c 1 addition, 0 deletionsNuSMV/code/nusmv/core/compile/PredicateExtractor.c
- NuSMV/code/nusmv/core/compile/PredicateNormaliser.c 5 additions, 1 deletionNuSMV/code/nusmv/core/compile/PredicateNormaliser.c
- NuSMV/code/nusmv/core/compile/compileBEval.c 1 addition, 0 deletionsNuSMV/code/nusmv/core/compile/compileBEval.c
- NuSMV/code/nusmv/core/compile/compileBEvalNew.c 1 addition, 0 deletionsNuSMV/code/nusmv/core/compile/compileBEvalNew.c
- NuSMV/code/nusmv/core/compile/compileWrite.c 1 addition, 0 deletionsNuSMV/code/nusmv/core/compile/compileWrite.c
- NuSMV/code/nusmv/core/compile/dependency/DependencyCore.c 1 addition, 0 deletionsNuSMV/code/nusmv/core/compile/dependency/DependencyCore.c
- NuSMV/code/nusmv/core/compile/flattening/FlattenerCore.c 1 addition, 0 deletionsNuSMV/code/nusmv/core/compile/flattening/FlattenerCore.c
- NuSMV/code/nusmv/core/compile/type_checking/checkers/CheckerCore.c 3 additions, 0 deletions...e/nusmv/core/compile/type_checking/checkers/CheckerCore.c
- NuSMV/code/nusmv/core/mc/mc.h 2 additions, 0 deletionsNuSMV/code/nusmv/core/mc/mc.h
- NuSMV/code/nusmv/core/mc/mcEval.c 1 addition, 0 deletionsNuSMV/code/nusmv/core/mc/mcEval.c
- NuSMV/code/nusmv/core/mc/mcMc.c 49 additions, 0 deletionsNuSMV/code/nusmv/core/mc/mcMc.c
- NuSMV/code/nusmv/core/node/node.c 1 addition, 0 deletionsNuSMV/code/nusmv/core/node/node.c
- NuSMV/code/nusmv/core/node/printers/PrinterWffCore.c 3 additions, 0 deletionsNuSMV/code/nusmv/core/node/printers/PrinterWffCore.c
- NuSMV/code/nusmv/core/parser/grammar.y.1.50 2 additions, 0 deletionsNuSMV/code/nusmv/core/parser/grammar.y.1.50
- NuSMV/code/nusmv/core/parser/grammar.y.2.50 14 additions, 4 deletionsNuSMV/code/nusmv/core/parser/grammar.y.2.50
- NuSMV/code/nusmv/core/parser/grammar.y.3.50 13 additions, 1 deletionNuSMV/code/nusmv/core/parser/grammar.y.3.50
- NuSMV/code/nusmv/core/parser/input.l.2.50 1 addition, 0 deletionsNuSMV/code/nusmv/core/parser/input.l.2.50
- NuSMV/code/nusmv/core/parser/symbols.h 1 addition, 0 deletionsNuSMV/code/nusmv/core/parser/symbols.h
- NuSMV/code/nusmv/core/wff/ExprMgr.c 2 additions, 0 deletionsNuSMV/code/nusmv/core/wff/ExprMgr.c
- NuSMV/code/nusmv/core/wff/lr/LogicRecognizerCore.c 1 addition, 0 deletionsNuSMV/code/nusmv/core/wff/lr/LogicRecognizerCore.c
Loading
Please register or sign in to comment