• Praspel

  • Referenced in 1 article [sw30376]
  • Praspel: A Specification Language for Contract-Based Testing in PHP. We introduce in this paper ... SPEcification Language. This language is based on the Design-by-Contract paradigm. Praspel clauses annotate...
  • Ptolemy

  • Referenced in 77 articles [sw07459]
  • A modular formal semantics for Ptolemy. Ptolemy is...
  • Metropolis

  • Referenced in 17 articles [sw16265]
  • Metropolis: an integrated electronic system design environment. oday...
  • GasLib

  • Referenced in 24 articles [sw17977]
  • GasLib. A library of gas network instances. Natural...
  • nuXmv

  • Referenced in 20 articles [sw18526]
  • The nuXmv Symbolic Model Checker. This paper describes...