• OBJ3

  • Referenced in 138 articles [sw05370]
  • hardware verification, among other things. It was the first language to implement parameterized programming...
  • STeP

  • Referenced in 36 articles [sw17948]
  • allow the verification of a broad class of systems, including parameterized (N-component) circuit designs...
  • TLPVS

  • Referenced in 10 articles [sw10024]
  • rank rule for the verification of response properties in parameterized systems is presented ... Special attention has been paid to the verification of unbounded systems – systems in which...
  • ParaVerifier

  • Referenced in 2 articles [sw13777]
  • proving parameterized cache coherence protocols. Parameterized verification of cache coherence protocols is an important ... relations can then be generalized into their parameterized form to automatically construct a formal proof...
  • Alt-Ergo

  • Referenced in 15 articles [sw04888]
  • program verification. Alt-Ergo is based on CC(X) a congruence closure algorithm parameterized...
  • PiMaG

  • Referenced in 2 articles [sw10090]
  • hard pipelined-machine-Verification problems. We present a parameterized suite of benchmark problems arising from...
  • Fg-index

  • Referenced in 9 articles [sw18892]
  • query answers without performing candidate verification. When the query is an infrequent graph, FG-index ... size of the index in a parameterized way. Our extensive experiments verify that query processing...
  • PREVAIL

  • Referenced in 7 articles [sw02114]
  • VHDL descriptions The authors describe a formal verification environment for proving the equivalence ... environment calls upon a tautology checker. For parameterized repetitive structures, and designs described...
  • UMM

  • Referenced in 8 articles [sw10132]
  • features to support memory model verification: (i) it employs a simple and generic memory abstraction ... memory models can be specified in a parameterized style—designers can simply redefine...
  • CPBPV

  • Referenced in 5 articles [sw00164]
  • novel constraint-programming framework for bounded program verification (CPBPV). The CPBPV framework uses constraint stores ... express the constraint store. Finally, CPBPV is parameterized with a list of solvers which...
  • Plat-Omega

  • Referenced in 3 articles [sw19624]
  • support for the development, publication, formalization, and verification of mathematical documents in a natural ... textual structure by using the flexible, parameterized proof language which we present. From this informal...
  • SeVe

  • Referenced in 2 articles [sw06547]
  • SeVe: automatic tool for verification of security protocols Security protocols play more and more important ... embeds the knowledge of the participants and parameterizes the ability of an attacker. Using this ... introduced under this framework, and the verification algorithms are also given. The results of this...
  • PICASSO

  • Referenced in 1 article [sw11972]
  • described how The Aerospace Corporation’s Parameterized Image Chain Analysis & Simulation SOftware (PICASSO) tool ... serve as part of the verification process). In the present paper, we extend the discussion...
  • ANSYS

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

  • Referenced in 170 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • CGAL

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

  • Referenced in 618 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

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

  • Referenced in 2829 articles [sw00320]
  • GAP is a system for computational discrete algebra...