• Ligero

  • Referenced in 17 articles [sw28502]
  • Ligero: lightweight sublinear arguments without a trusted setup. We design and implement a simple zero ... proportional to the square-root of the verification circuit size...
  • LARVA

  • Referenced in 7 articles [sw21408]
  • programs. The use of runtime verification, as a lightweight approach to guarantee properties of systems ... present a tool LARVA, for the runtime verification of real-time properties of Java programs...
  • CakeML

  • Referenced in 53 articles [sw08799]
  • more challenging aspects of the verification. In particular, our formally verified compiler can bootstrap itself ... proof handles diverging input programs with a lightweight approach based on logical timeout exceptions...
  • NetSketch

  • Referenced in 2 articles [sw20006]
  • outsourced subsystems. NetSketch embodies a lightweight formal verification philosophy, whereby the power...
  • EviCheck

  • Referenced in 1 article [sw40192]
  • tool for the verification, certification and generation of lightweight fine-grained security policies for Android...
  • Java-MaC

  • Referenced in 11 articles [sw20000]
  • time. MaC bridges the gap between formal verification, which ensures the correctness of a design ... architecture. MaC is a lightweight formal method solution which works as a viable complement...
  • EXPLODE

  • Referenced in 3 articles [sw17447]
  • EXPLODE: a lightweight, general system for finding serious storage system errors. Storage systems such ... model checking, a comprehensive, heavy-weight formal verification technique, that makes its checking more systematic ... pure testing approach while being just as lightweight. EXPLODE is effective. It found serious bugs...
  • StaRVOOrS

  • Referenced in 1 article [sw21407]
  • Runtime Verification of Object-Oriented Software’) is to provide a unified, lightweight...
  • ADsafety

  • Referenced in 1 article [sw38009]
  • subtleties of JavaScript demand robust verification of the actual sandbox source. We use a novel ... verify sandboxing properties. The resulting verifier is lightweight and efficient, and operates on actual source...
  • Dynamite 2.0

  • Referenced in 1 article [sw01320]
  • based on unsat-core extraction to improve verification of software requirements According to the Verified ... blends the good qualities of the lightweight formal method Alloy with the certainty provided...
  • SECCURE

  • Referenced in 1 article [sw13008]
  • offers public key encryption / decryption, signature generation / verification and rudimentary key establishment. ECC schemes offer ... therefore is the tool of choice whenever lightweight asymmetric cryptography -- independent of key servers, revocation...
  • LightHuBERT

  • Referenced in 1 article [sw42696]
  • LightHuBERT: Lightweight and Configurable Speech Representation Learning with Once-for-All Hidden-Unit BERT. Self ... three SUPERB tasks, e.g., automatic speaker verification, keyword spotting, and intent classification, with a slight...
  • ANSYS

  • Referenced in 713 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • FGb

  • Referenced in 247 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines...
  • Gmsh

  • Referenced in 783 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • jETI

  • Referenced in 15 articles [sw00471]
  • We present jETI, a redesign of the Electronic...
  • Magma

  • Referenced in 3363 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • MiniSat

  • Referenced in 584 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • SageMath

  • Referenced in 2033 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • COBOL

  • Referenced in 237 articles [sw01228]
  • COBOL (/ˈkoʊbɒl/, an acronym for common business-oriented...