A new version of PLASMA Lab (v1.2.10) has been released. It includes the following enhancements:
Improvements and new features
- We have extended the grammar of BLTL with two adaptive operators that observe adaptive transitions in stochastic adaptive systems (SAS). This new requirement language is A-BLTL.
- PLASMA Lab can also check unbounded properties using A-BLTL. See our short tutorial about unbounded ALTL.
- We have extended the BLTL grammar so that is is possible to declare variable in a requirement and use expression as temporal bound.
- Various bugfixes.
To test and download PLASMA Lab, go to our download page. If you encounter any issues or want to discuss about PLASMA Lab functionnalities, please contact us on plasma-lab-support [no-spam] lists.gforge.inria.fr
