Results 1 to 20 of 225
Sort by:

  • IDLVALID
  • Referenced in 10 articles [sw20417]
  • Duration Calculus Formulae. Duration Calculus is a dense time interval temporal logic with constructs which...

  • Tac
  • Referenced in 7 articles [sw09455]
  • determinism involved in searching for sequent calculus proofs. We present a focused proof system ... proof search as being organized around interleaving intervals of computation and more general deduction...

  • Transactors
  • Referenced in 6 articles [sw20929]
  • provide an operational semantics for the τ-calculus, and formalize the following safety and liveness ... that there is some bounded failure-free interval during which checkpointing can occur...

  • RGITL
  • Referenced in 5 articles [sw13917]
  • Logic (RGITL). The logic is based on interval temporal logic (ITL) and higher-order logic ... with compositional semantics. As a consequence, the calculus permits proving decomposition theorems which reduce reasoning...

  • RCDC
  • Referenced in 1 article [sw14739]
  • calculus, exploiting the well-known notion of convex relations from the context of the Interval...

  • ntccSim
  • Referenced in 1 article [sw33009]
  • specifications in ntcc, a timed CPP process calculus proposed by Dr. Frank Valencia. ntccSim allows ... constraints over finite domains (FD) and real intervals (XRI) have been used to implement some...

  • CADNA
  • Referenced in 41 articles [sw00098]
  • CADNA: a library for estimating round-off error...

  • CGAL
  • Referenced in 355 articles [sw00118]
  • The goal of the CGAL Open Source Project...

  • Cinderella
  • Referenced in 144 articles [sw00127]
  • An Interactive Geometry Software. Besides support for dynamic...

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

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

  • gfun
  • Referenced in 132 articles [sw00344]
  • The gfun package provides tools for determining and...

  • HSL
  • Referenced in 269 articles [sw00418]
  • HSL (formerly the Harwell Subroutine Library) is a...

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

  • KNITRO
  • Referenced in 175 articles [sw00490]
  • KNITRO is a solver for nonlinear optimization. It...

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

  • LSQR
  • Referenced in 358 articles [sw00530]
  • Algorithm 583: LSQR: Sparse Linear Equations and Least...

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