Software

Software list:

  • Our plasma Statistical Model Checker:

    Plasma.

  • Quail: Our security tool for information leaking

    Quail.

  • PyEcdar: an open-source tool for timed interface theories

    Pyecdar .