PLASMA Lab 1.3.6 Released

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.

Comments are closed.