• MONA

  • Referenced in 118 articles [sw06170]
  • MONA implementation secrets. The MONA tool provides an...
  • Maude

  • Referenced in 660 articles [sw06233]
  • Maude is a high-performance reflective language and...
  • XQuery

  • Referenced in 122 articles [sw06669]
  • XML is a versatile markup language, capable of...
  • Chaff

  • Referenced in 567 articles [sw06916]
  • Chaff:engineering an efficient SAT solver. Boolean Satisfiability...
  • SPARQL

  • Referenced in 127 articles [sw07429]
  • Federation and navigation in SPARQL 1.1. SPARQL is...
  • Hadoop

  • Referenced in 121 articles [sw08481]
  • The Apache Hadoop software library is a framework...
  • WhyML

  • Referenced in 25 articles [sw09709]
  • We present Why3, a tool for deductive program...
  • CBMC

  • Referenced in 77 articles [sw09719]
  • CBMC is a Bounded Model Checker for ANSI...
  • ESBMC

  • Referenced in 7 articles [sw09946]
  • ESBMC is a context-bounded model checker for...
  • Python

  • Referenced in 1378 articles [sw14460]
  • Python is a widely used high-level, general...
  • ALGOL 60

  • Referenced in 661 articles [sw21807]
  • ALGOL 60 (short for Algorithmic Language 1960) is...
  • OrthoGNC

  • Referenced in 2 articles [sw34205]
  • OrthoGNC: A Software for Accurate Identification of Orthologs...