PLASMA

MaRDI QIDQ30260swMATHFDO

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

Cited in

(13)

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

This page was built for software: PLASMA