PLASMA

MaRDI QIDQ30260swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-642-28756-5_37

Cited in

(13)

• JTorX
• TorX
• VESTA
• Ymer
• APMC
• COSMOS
• Statistical approximation of optimal schedulers for probabilistic timed automata
• A platform for high performance statistical model checking -- PLASMA
• Command-based importance sampling for statistical model checking
• Computing scores of forwarding schemes in switched networks with probabilistic faults
• PLASMA-lab
• FatTire
• Model-based testing of probabilistic systems

This page was built for software: PLASMA