• 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...