• nuXmv

  • Referenced in 28 articles [sw18526]
  • Reals, and it provides advanced SMT-based model checking techniques. Besides extended functionalities, nuXmv...
  • Spacer

  • Referenced in 12 articles [sw19496]
  • SMT-based model checking for recursive programs. We present an SMT-based symbolic model checking ... analyzes procedures individually. Unlike other SMT-based approaches, it maintains both over- and under-approximations...
  • Cubicle

  • Referenced in 18 articles [sw13778]
  • Cubicle: a parallel smt-based model checker for parameterized systems. Cubicle is a new model...
  • SYMBA

  • Referenced in 13 articles [sw08528]
  • paper, we present SYMBA, an efficient SMT-based optimization algorithm for objective functions...
  • SAFARI

  • Referenced in 10 articles [sw28669]
  • SAFARI: SMT-Based Abstraction for Arrays with Interpolants. We present SAFARI, a model checker designed...
  • KRATOS

  • Referenced in 8 articles [sw07808]
  • uses state-of-the-art SMT-based techniques for program abstractions and refinements...
  • Marabou

  • Referenced in 6 articles [sw31368]
  • deep neural networks. Marabou is an SMT-based tool that can answer queries about...
  • HyComp

  • Referenced in 4 articles [sw20163]
  • HyComp: An SMT-based model checker for hybrid systems. HyComp is a model checker ... hybrid systems based on Satisfiability Modulo Theories (SMT). HyComp takes as input networks of hybrid ... system, which can be analyzed using SMT-based verification techniques (e.g. BMC, K-induction...
  • Kind 2

  • Referenced in 5 articles [sw21028]
  • open-source, multi-engine, SMT-based automatic model checker for safety properties of Lustre programs...
  • PySMT

  • Referenced in 5 articles [sw19843]
  • agnostic library for fast prototyping of smt-based algorithms. pySMT: A library for SMT formulae...
  • intuit

  • Referenced in 4 articles [sw33643]
  • problems, and fits well into an SMT-based framework for interaction with other theories...
  • LiquidHaskell

  • Referenced in 4 articles [sw27633]
  • Refinement types for Haskell. SMT-based checking of refinement types for call-by-value languages...
  • Pono

  • Referenced in 2 articles [sw41583]
  • Pono: a flexible and extensible SMT-based model checker. Symbolic model checking is an important ... present Pono, an open-source SMT-based model checker. Pono is designed to be both ... tasks by exploiting its general SMT-based interface), and extensibility (it is easy...
  • MNiBLoS

  • Referenced in 2 articles [sw32318]
  • MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their ... Nice BL-Logics Solver)}: a modular SMT-based solver complete with respect to a wide...
  • STABLE

  • Referenced in 2 articles [sw11913]
  • algebra-based engine which provides algorithms for simplifying arithmetic problems of an SMT instance prior ... domain for STABLE we target an SMT-based property checking flow for System-on-Chip...
  • Z34Bio

  • Referenced in 1 article [sw25444]
  • Z34Bio: An SMT- based framework for analyzing biological computation. The basic principles governing the development ... Z34Bio (Z3 for Biology), a unified SMT-based framework for the automated analysis of natural...
  • JKind

  • Referenced in 1 article [sw21029]
  • JKind is an SMT-based infinite-state model checker for safety properties in Lustre. JKind...
  • SIFT

  • Referenced in 1 article [sw20577]
  • this paper, we propose SIFT (SMT-based DIFT), where a separate thread performing taint propagation...
  • HySAT

  • Referenced in 26 articles [sw01980]
  • HySAT: An efficient proof engine for bounded model...
  • TASS

  • Referenced in 2 articles [sw02740]
  • TASS (Timing Analyzer of Scenario-based Specifications) is...