• LTSA-WS

  • Referenced in 14 articles [sw10585]
  • process to be performed. By providing early design verification and validation, the implementation, testing...
  • Helena

  • Referenced in 6 articles [sw33425]
  • this paper, we focus on the early verification of Helena models. We propose to translate...
  • Cadence SMV

  • Referenced in 27 articles [sw07795]
  • possible input sequences. While formal verification is often equated with equivalence checking, model checking ... that that your specifications are correct very early in the design process by building abstract...
  • Geist3D

  • Referenced in 1 article [sw00330]
  • mechatronic systems, allowing for an early verification of designs...
  • KeY-C

  • Referenced in 5 articles [sw00486]
  • present KeY-C, a tool for deductive verification of C programs. KeY-C allows ... example. Currently, the tool is in an early development stage...
  • RevSCA

  • Referenced in 2 articles [sw37909]
  • verification of integer multipliers. The success is based on removing redundant terms (vanishing monomials) early ... confirm the efficiency of our approach in verification of a wide variety of integer multipliers...
  • QBFEVAL

  • Referenced in 4 articles [sw22901]
  • solvers to submit their work, even at early stages of development, as long ... based techniques in their area (e.g., formal verification, planning, knowledge reasoning) are invited to contribute...
  • CPBPV

  • Referenced in 5 articles [sw00164]
  • novel constraint-programming framework for bounded program verification (CPBPV). The CPBPV framework uses constraint stores ... paths, as it incrementally prunes execution paths early by detecting that the constraint store...
  • PathFinder

  • Referenced in 1 article [sw01274]
  • verification engineers -- are not versed in formal verification. PathFinder provides a means for the designer ... behaviors of the design at a very early stage of the implementation -- as soon...
  • ORIGEN2

  • Referenced in 3 articles [sw18052]
  • ORNL) and distributed worldwide beginning in the early 1970s. Included in ORIGEN2 are provisions ... Canada deuterium uranium reactors. A number of verification activities have been undertaken, including (a) comparison...
  • BALM-II

  • Referenced in 2 articles [sw38885]
  • languages are well-studied subjects since the early development of computation theory. Traditional automata manipulations ... automata in various application domains, e.g., synthesis, verification, control, etc. The environment features the most...
  • AutoGrader

  • Referenced in 0 articles [sw30353]
  • eliminate potential defects in the program as early as possible. Most of the current automatic ... process of defect location, candidate generation, candidate verification. However, when the program is repaired, there...
  • Cuba

  • Referenced in 77 articles [sw00173]
  • Cuba -- a library for multidimensional numerical integration. The...
  • LAPACK

  • Referenced in 1701 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Mathematica

  • Referenced in 6343 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13488 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • R

  • Referenced in 9832 articles [sw00771]
  • R is a language and environment for statistical...
  • ScaLAPACK

  • Referenced in 417 articles [sw00830]
  • ScaLAPACK is an acronym for scalable linear algebra...
  • SLEPc

  • Referenced in 196 articles [sw00875]
  • SLEPc the Scalable Library for Eigenvalue Problem Computations...
  • SUNDIALS

  • Referenced in 241 articles [sw00927]
  • SUNDIALS was implemented with the goal of providing...