Results 1 to 2 of 2
Sort by:

  • Isabelle
  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...

  • Maria
  • Referenced in 19 articles [sw04127]
  • Maria: Modular reachability analyser for algebraic system nets...