A new version of PLASMA Lab (v1.3.6) has been released.
This version introduces several corrections:
- The CUSUM algorithm has been corrected.
- The CUSUM interface now provides three different checks: one for the classical CUSUM algorithm, one for simulating the algorithm in order to estimate the stopping rule, and one that applies Monte Carlo analyses along a trace to check the independence between delayed samples.
- The BLTL plugin has been corrected . There was a possible bug when checking some nested properties and the weak until operator is now operational.