
Helena
 Referenced in 6 articles
[sw33425]
 Helena and Promela and establish stutter trace equivalence between them. Thus, we can guarantee that ... formulae (without next). Our correctness proof relies on a new, general criterion for stutter trace...

TACO
 Referenced in 6 articles
[sw07668]
 propositional formula, and analyzing the formula for specification violations using a SATsolver ... violation is found, an execution trace exposing the error is exhibited. Code involving linked data ... Experiments show that the translations to propositional formulas require significantly less propositional variables, leading...

SEQ.OPEN
 Referenced in 1 article
[sw00849]
 allow to check the correctness of event traces obtained by simulating or executing complex, industrial ... modal $\mu $calculus formulas, and verified efficiently on very large traces...

VMHunt
 Referenced in 1 article
[sw31771]
 further simplify the trace snippet. The generated concise symbolic formulas facilitate the correctness testing...

Numerical Solutions
 Referenced in 0 articles
[sw06013]
 operations (add, subtract, multiply), finding the determinant, trace, inverse, adjoint, QR or LU factors, real ... Prime factors, base conversion, complex numbers, sorting, formulas for triangles and circles...

ACL2
 Referenced in 277 articles
[sw00060]
 ACL2 is both a programming language in which...

CASA
 Referenced in 95 articles
[sw00108]
 CASA is a specialpurpose system for computational...

CLIFFORD
 Referenced in 79 articles
[sw00131]
 CLIFFORD performs various computations in Grass mann and...

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

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

FGb
 Referenced in 240 articles
[sw00286]
 FGb/Gb libraryGb is a program (191 420 lines...

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

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

Gmsh
 Referenced in 576 articles
[sw00366]
 Gmsh is a 3D finite element grid generator...

HURRY
 Referenced in 27 articles
[sw00420]
 HURRY: An acceleration algorithm for scalar sequences and...

IMITATOR
 Referenced in 27 articles
[sw00439]
 IMITATOR is a software tool for parametric verification...

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

ISOGAT
 Referenced in 281 articles
[sw00457]
 A tutorial 2D MATLAB code for solving elliptic...

LAPACK
 Referenced in 1626 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

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