
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 (Ncomponent) 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...

AltErgo
 Referenced in 15 articles
[sw04888]
 program verification. AltErgo is based on CC(X) a congruence closure algorithm parameterized...

PiMaG
 Referenced in 2 articles
[sw10090]
 hard pipelinedmachineVerification problems. We present a parameterized suite of benchmark problems arising from...

Fgindex
 Referenced in 9 articles
[sw18892]
 query answers without performing candidate verification. When the query is an infrequent graph, FGindex ... 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 constraintprogramming 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...

PlatOmega
 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...