• BLAST

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

  • Referenced in 8 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...
  • KRATOS

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

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

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

  • Referenced in 17 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...
  • 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...
  • 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...
  • 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...
  • future

  • Referenced in 1 article [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...
  • Boolector

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

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

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

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

  • Referenced in 4896 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 5693 articles [sw00554]
  • Almost any workflow involves computing results, and that...