• PRISM

  • Referenced in 376 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • MRMC

  • Referenced in 66 articles [sw04129]
  • The ins and outs of the probabilistic model...
  • OProfile

  • Referenced in 3 articles [sw19795]
  • OProfile is an open source project that includes...