Tools

Here is a list of tools that I contributed to:

• Plasma-lab, a stastistical model checker
  • Plugin for checking SystemC models
  • Plugin for simulating Pi-ADL models
  • DynBLTL Logic Plugin, for expressing properties about dynamic systems
• piadl2go, a tool for simulating Pi-ADL models