• 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 SAT-solver ... 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 special-purpose 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...