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