• z3

  • Referenced in 509 articles [sw04887]
  • Z3 is a high-performance theorem prover being...
  • Ptolemy

  • Referenced in 78 articles [sw07459]
  • A modular formal semantics for Ptolemy. Ptolemy is...
  • OpenMETA

  • Referenced in 1 article [sw09392]
  • Openmeta: a model- and component-based design tool...