Tools

Algorithms and tools

• SPEAR: a Simple Python Environment for the statistical estimation of Adaptability and Reliability. The model checking algorithm for the logic EvTL is implemented in SPEAR.

• STARK: a Software Tool for the Analysis of Robustness in the unKnown enviroment, that includes:

  • Specification language for systems (programs, environment, and their interaction), perturbations, distances over systems behaviours and RobTL formulae

  • A module for the simulation of evolution sequences and their perturbed versions

  • A module for the evaluation of distance expressions (including the evaluation of confidence intervals)

  • Model checker for RobTL formulae (with both, a classic and a three-valued semantics)