• BLAST

  • Referenced in 129 articles [sw02937]
  • BLAST (Berkeley Lazy Abstraction Software verification Tool) is a static software verification tool...
  • SAFARI

  • Referenced in 10 articles [sw28669]
  • SAFARI: SMT-Based Abstraction for Arrays with Interpolants. We present SAFARI, a model checker designed ... based on an extension of lazy abstraction capable of handling existentially quantified formulæ for symbolically...
  • Booster

  • Referenced in 6 articles [sw33291]
  • features with standard verification techniques, like Lazy Abstraction with Interpolants (extended to arrays...
  • KRATOS

  • Referenced in 8 articles [sw07808]
  • resulting C programs using the symbolic lazy predicate abstraction technique. Second, Kratos implements a novel...
  • CoALP

  • Referenced in 20 articles [sw16105]
  • Such definitions give rise to questions of lazy corecursive derivations and parallelism, as execution ... semantics have been used to study them abstractly. The programming developments have often occurred separately ... account of the issues, starting with abstract category theoretic semantics, developing coalgebra to characterize naturally ... CoALP, of logic programming, characterised by guarded lazy corecursion and parallelism...
  • McScM

  • Referenced in 1 article [sw14482]
  • interpretation, abstract regular model checking, and lazy abstraction. Seen as a general framework...
  • BigDataScript

  • Referenced in 1 article [sw27403]
  • hardware resources and assists with robustness. Hardware abstraction allows BDS pipelines to run without modification ... serialization and lazy processing, thus allowing pipelines to recover from errors. By abstracting pipeline concepts...
  • GADGET

  • Referenced in 2 articles [sw10600]
  • interface and display generation. GADGET provides convenient abstractions of many optimization concepts. GADGET also provides ... programmers quickly create optimizations, including an efficient lazy evaluation framework, a powerful and configurable optimization...
  • future

  • Referenced in 9 articles [sw15765]
  • provided. In programming, a future is an abstraction for a value that may be available ... side=3) }’. This package implements synchronous ”lazy” and ”eager” futures, and asynchronous ”multicore”, ”multisession...
  • PolyFARM

  • Referenced in 3 articles [sw13685]
  • chose Haskell and relate our experiences. Laziness did cause many problems in controlling heap space ... algorithms, good support for data structures, abstraction, modularity and generalisation leading to fast prototyping...
  • ParADE

  • Referenced in 5 articles [sw14959]
  • system with a variant of home-based lazy release consistency protocol. To boost performance ... translator bridges the gap between the OpenMP abstraction and the hybrid programming interfaces...
  • Caliban

  • Referenced in 2 articles [sw24051]
  • symbolic execution of hyperfinite ideal machines. (Extended abstract). ... A program is verified by showing that ... prover. This applicative language, called Caliban, is lazy, higher-order, and polymorphic. The theorem prover...
  • Lhotse

  • Referenced in 1 article [sw40405]
  • recordings, long recordings, local and cloud storage, lazy and on-the-fly operations amongst other ... show how Lhotse leverages PyTorch data API abstractions and adopts them to handle speech data...
  • Ariel

  • Referenced in 2 articles [sw24050]
  • symbolic execution of hyperfinite ideal machines. (Extended abstract). This paper describes Ariel, a program verification ... prover. This applicative language, called Caliban, is lazy, higher-order, and polymorphic. The theorem prover...
  • Boolector

  • Referenced in 31 articles [sw00085]
  • Boolector: an efficient SMT solver for bit-vectors...
  • CGAL

  • Referenced in 384 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Coq

  • Referenced in 1880 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Isabelle

  • Referenced in 698 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Magma

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