• CPN/Tools

  • Referenced in 27 articles [sw01261]
  • CPN/Tools: A tool for editing and simulating coloured...
  • Design/CPN

  • Referenced in 37 articles [sw01952]
  • Modeling and verification of cryptographic protocols using coloured...
  • PNML

  • Referenced in 40 articles [sw03257]
  • PNML framework: An extendable reference implementation of the...
  • IF-2.0

  • Referenced in 46 articles [sw03303]
  • IF-2.0: A validation environment for component-based...
  • SPIN

  • Referenced in 699 articles [sw03455]
  • Spin is a popular open-source software tool...
  • Z

  • Referenced in 274 articles [sw10291]
  • Using Z. Specification, refinement, and proof. The book...