• z3

• Referenced in 606 articles [sw04887]
• tools from Microsoft Research. These include: VCC, Spec#, Boogie, Pex, Yogi, Vigilante, SLAM...

• Spec#

• Referenced in 123 articles [sw04598]
• Spec# programming system is a new attempt at a more cost effective way to develop ... describes the goals and architecture of the Spec# programming system, consisting of the object-oriented ... Spec# programming language, the Spec# compiler, and the Boogie static program verifier. The language includes...

• MPI/MPICH

• Referenced in 165 articles [sw06126]
• difficult job of getting the spec right was done by the MPI Forum...

• Boogie

• Referenced in 120 articles [sw07714]
• verifiers for Dafny, Chalice, and Spec#. A previous version of the language was called BoogiePL...

• MiBench

• Referenced in 50 articles [sw04421]
• representative embedded programs from the existing SPEC benchmarks including instruction distribution, memory behavior, and available...

• SPEC Benchmarks

• Referenced in 23 articles [sw21476]
• spec: Standard Performance Evaluation Corporation. SPEC’s first benchmark suite to measure cloud performance SPEC ... intensive cloud computing workloads. SPEC selected the social media NoSQL database transaction and K-Means...

• NP-SPEC

• Referenced in 20 articles [sw02243]
• SPEC: An executable specification language for solving all problems in NP. A logic-based specification ... language, called NP-SPEC, is presented. The language is obtained by extending DATALOG through allowing ... second-order predicates of predefined form. NP-SPEC programs specify solutions to problems ... reasonably efficient construction of problem solutions. NP-SPEC expressive power is precisely characterized...

• MediaBench

• Referenced in 34 articles [sw08949]
• general-purpose computing, and more specifically the SPEC benchmark suite. At the same time...

• Blossom V

• Referenced in 28 articles [sw04780]
• Schäfer [ACM J. Exp. Algorithm. 7, Spec. Iss., Article 4, 19 p., electronic only...

• SpecExplorer

• Referenced in 18 articles [sw11366]
• Model-based Testing with SpecExplorer. Spec Explorer is a software development tool for advanced model...

• SpEC

• Referenced in 11 articles [sw07423]
• hole systems using the Spectral Einstein Code (SpEC) are done on a computational domain that...

• BoogiePL

• Referenced in 13 articles [sw21521]
• accepted as input to Boogie, the Spec# static program verifier...

• SPEC

• Referenced in 7 articles [sw20606]
• SPEC (for Spi-calculus Equivalence Checker) is an equivalence checker for a version of Abadi ... security properties such as secrecy and authentication. SPEC implements a process equivalence checking procedure based ... IEEE Computer Security Foundations symposium in 2010). SPEC is implemented on top of a modified...

• SPECjvm2008

• Referenced in 6 articles [sw21475]
• variety of both client and server systems. SPEC also finds user experience of Java important...

• ADAPT

• Referenced in 6 articles [sw29918]
• system on three programs from the SPEC floating point benchmark suite by dynamically applying loop...

• SIMION

• Referenced in 3 articles [sw06162]
• over 30 years to simulate lens, mass spec, and other types of particle optics systems...

• LIFT

• Referenced in 3 articles [sw20596]
• times on average for seven SPEC INT2000 applications. Our dynamic optimizations are very effective...

• Seminormalization

• Referenced in 3 articles [sw30571]
• ring is non-normal if in the Spec, points are identified and tangent spaces killed...

• HPC2002

• Referenced in 1 article [sw09614]
• SPEC HPC2002: The next high-performance computer benchmark. The High-Performance Group of the Standard ... expected to be replaced by the SPEC HPC2002 suite in the second quarter ... HPC2002 represents a minor update to SPEC’s current high-performance computing benchmarks ... last subsection of this document we describe SPEC’s longer-term plans...

• Wave-spec

• Referenced in 1 article [sw18844]
• Wave-spec: a preprocessing package for mass spectrometry data. Wave-spec is a pre-processing...