VerificationNN_PLC.zip
PLCverif_CBMC
PLCverifProject
.project
405 Bytes
PLC_Program_Modif.scl
31.5 kB
builtin.scl
21.1 kB
fanSpeedConstraintSatisfaction.c
49.3 kB
fanSpeedConstraintSatisfaction.out
494.4 kB
fanSpeedReachability_0_20.c
49.3 kB
fanSpeedReachability_0_20.out
525.0 kB
fanSpeedReachability_20_60.c
49.3 kB
fanSpeedReachability_20_60.out
527.7 kB
fanSpeedReachability_60_80.c
49.3 kB
fanSpeedReachability_60_80.out
527.7 kB
fanSpeedReachability_80_100.c
49.3 kB
fanSpeedReachability_80_100.out
60.1 kB
modesReachability_0.c
49.2 kB
modesReachability_0.out
512.9 kB
modesReachability_1.c
49.2 kB
modesReachability_1.out
506.5 kB
modesReachability_2.c
49.2 kB
modesReachability_2.out
506.8 kB
monotonicity.c
49.3 kB
monotonicity.out
485.0 kB
robustness.c
49.6 kB
robustness.out
833.0 kB
softmaxOverflow.c
49.3 kB
softmaxOverflow.out
53.1 kB
README.md
1.4 kB
Z3
EANN2023_Z3.ipynb
238.0 kB
nnenum
fanSpeed.nnet
6.1 kB
fanSpeed.onnx
1.9 kB
fanSpeedReachability_0_20.out
612 Bytes
fanSpeedReachability_0_20.vnnlib
277 Bytes
fanSpeedReachability_20_60.out
596 Bytes
fanSpeedReachability_20_60.vnnlib
279 Bytes
fanSpeedReachability_60_80.out
595 Bytes
fanSpeedReachability_60_80.vnnlib
279 Bytes
fanSpeedReachability_80_100.out
534 Bytes
fanSpeedReachability_80_100.vnnlib
279 Bytes
modes.nnet
6.4 kB
modes.onnx
1.9 kB
modesReachability_0.out
588 Bytes
modesReachability_0.vnnlib
329 Bytes
modesReachability_1.out
600 Bytes
modesReachability_1.vnnlib
329 Bytes
modesReachability_2.out
323 Bytes
modesReachability_2.vnnlib
329 Bytes
monotonicity.out
614 Bytes
monotonicity.vnnlib
362 Bytes
robustness.out
51 Bytes
testing
EANN2023_testing.ipynb
32.4 kB