• Vivid

  • Referenced in 3 articles [sw01316]
  • family of denotational proof languages (DPLs). We present novel formal structures, called named system states ... extend the assumption-base semantics of DPLs to accommodate diagrammatic reasoning by introducing general inference...
  • CafeOBJ

  • Referenced in 171 articles [sw06232]
  • CafeOBJ as a tool for behavioral system verification...
  • GROVER

  • Referenced in 2 articles [sw09968]
  • On the practical semantics of mathematical diagrams. This...
  • CafePie

  • Referenced in 1 article [sw09974]
  • CafePie: A visual programming system for CafeOBJ. CafePie...
  • Dr.Doodle

  • Referenced in 7 articles [sw09975]
  • Dr.Doodle: A diagrammatic theorem prover. This paper presents...