- Referenced in 118 articles
- MONA implementation secrets. The MONA tool provides an...
- Referenced in 660 articles
- Maude is a high-performance reflective language and...
- Referenced in 122 articles
- XML is a versatile markup language, capable of...
- Referenced in 567 articles
- Chaff:engineering an efficient SAT solver. Boolean Satisfiability...
- Referenced in 127 articles
- Federation and navigation in SPARQL 1.1. SPARQL is...
- Referenced in 121 articles
- The Apache Hadoop software library is a framework...
- Referenced in 25 articles
- We present Why3, a tool for deductive program...
- Referenced in 77 articles
- CBMC is a Bounded Model Checker for ANSI...
- Referenced in 7 articles
- ESBMC is a context-bounded model checker for...
- Referenced in 1378 articles
- Python is a widely used high-level, general...
- Referenced in 661 articles
- ALGOL 60 (short for Algorithmic Language 1960) is...
- Referenced in 2 articles
- OrthoGNC: A Software for Accurate Identification of Orthologs...