
Pex
 Referenced in 36 articles
[sw07263]
 pathbounded modelchecking) to determine test inputs for Parameterized Unit Tests. Pex learns...

ByMC
 Referenced in 6 articles
[sw21699]
 Checker). ByMC is a toolset for parameterized model checking of thresholdguarded faulttolerant distributed...

STeP
 Referenced in 36 articles
[sw17948]
 finitestate systems, but combines model checking with deductive methods to allow the verification ... broad class of systems, including parameterized (Ncomponent) circuit designs, parameterized (Nprocess) programs...

Ivy
 Referenced in 10 articles
[sw41668]
 supports proving safety and liveness properties of parameterized and infinitestate systems via three modes ... using an SMT solver, abstraction and model checking, and manual proofs using natural deduction...

PyBioNetFit
 Referenced in 3 articles
[sw34668]
 model parameterization, PyBNF supports uncertainty quantification by bootstrapping or Bayesian approaches, and model checking. PyBNF ... defining qualitative data for use in parameterization or checking. It runs on most Linux...

UMM
 Referenced in 8 articles
[sw10132]
 checking capability to enable formal reasoning about thread behaviors. Using this framework, memory models ... specified in a parameterized style—designers can simply redefine a few bypassing rules and visibility ... specification of another memory model. We formalize several classical memory models, including Sequential Consistency, Coherence ... analyze Java thread semantics using model checking. We also compare our operational specification style with...

CPBPV
 Referenced in 5 articles
[sw00164]
 express the constraint store. Finally, CPBPV is parameterized with a list of solvers which ... which other frameworks based on bounded model checking have failed...

Fgindex
 Referenced in 9 articles
[sw18892]
 graph databases. Graphs are prevalently used to model the relationships between objects in various domains ... then perform verification on each candidate by checking subgraph isomorphism. Query performance is improved since ... size of the index in a parameterized way. Our extensive experiments verify that query processing...

PiMaG
 Referenced in 2 articles
[sw10090]
 pipelinedmachineVerification problems. We present a parameterized suite of benchmark problems arising from ... models, but also have complex correctness statements, involving invariants and symbolic simulations of the models ... take hundreds of thousands of seconds to check using the UCLID decision procedure...

PAMOPT
 Referenced in 1 article
[sw17677]
 results, make decisions, change the model and check again the new design until an optimal ... design changes. PAMOPT manages compute model parameterization, and launches preprocessing, solver and post...

AXIOM
 Referenced in 173 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

CoCoA
 Referenced in 659 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1906 articles
[sw00161]
 Coq is a formal proof management system. It...

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

gmp
 Referenced in 289 articles
[sw00363]
 GMP is a free library for arbitrary precision...

Isabelle
 Referenced in 719 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

LEDA
 Referenced in 264 articles
[sw00509]
 In the core computer science areas  data structures...

Macaulay2
 Referenced in 1958 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Maple
 Referenced in 5403 articles
[sw00545]
 The result of over 30 years of cutting...

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