In this documentation section you can find various explanations on statistical model-checking and help on how to use Plasma Lab.

  • Manual is a dedicated website that contains all the documentation on how to use Plasma Lab, Plasma Lab algorithms, Plasma Lab plugins, Plasma Lab architecture and how to develop new plugins. The manual can also be downloaded in PDF.
  • SMC Overview is a short explanation on the principles of statistical model-checking.
  • Bibliography
  • Related Tools

Comments are closed.