• C-XSC

  • Referenced in 103 articles [sw00181]
  • algorithms delivering highly accurate and automatically verified results. It provides a large number of predefined...
  • VAMPIRE

  • Referenced in 188 articles [sw02918]
  • result to the kernel. When a theorem is proved, the system produces a verifiable proof...
  • ACRITH-XSC

  • Referenced in 46 articles [sw00015]
  • algorithms. Such algorithms deliver results of high accuracy which are verified to be correct ... machine number between the computed result and the exact solution. The exact dot product...
  • VSDP

  • Referenced in 9 articles [sw04003]
  • designed for the computation of verified results in conic programming. The current version of VSDP ... error bounds of the true optimal value, verified enclosures of ε-optimal solutions, and verified...
  • DIDO

  • Referenced in 14 articles [sw07762]
  • needed to generate and validate optimal control results. Other than the optimal states, control ... Pontryagin’s principle to instantly verify numerical results...
  • Pinocchio

  • Referenced in 23 articles [sw10193]
  • should be able to verify the correctness of the results returned. To this...
  • CompCert

  • Referenced in 30 articles [sw09737]
  • possibility of compiler-introduced bugs, verified compilers strengthen the guarantees that can be obtained ... programs. The main result of the project is the CompCert C verified compiler, a high...
  • GROOVE

  • Referenced in 44 articles [sw09480]
  • verify model transformation and dynamic semantics through an (automatic) analysis of the resulting graph transformation...
  • Albert

  • Referenced in 13 articles [sw15065]
  • nonassociative algebra. Each of these results has been independently verified - either with a traditional mathematical...
  • PHAVer

  • Referenced in 101 articles [sw04123]
  • ground as a potentially powerful tool for verifying hybrid systems – yet it has remained severely ... bits and constraints of polyhedra. Experimental results for a navigation benchmark and a tunnel diode...
  • BEAM189

  • Referenced in 37 articles [sw07447]
  • verify the accuracy of our proposed method. The comparisons reveal that the numerical results obtained...
  • FLAG

  • Referenced in 4 articles [sw09041]
  • will be presented along with test results verifying the models. A FLAG model...
  • CCured

  • Referenced in 24 articles [sw10057]
  • allows both pointers whose usage can be verified statically to be type safe, and pointers ... time. We prove a type soundness result and then we present a surprisingly simple type ... pointers are statically verifiable to be type safe. The remaining pointers are instrumented with efficient ... ensure that they are used safely. The resulting performance loss due to run-time checks...
  • DEMOCRITUS

  • Referenced in 7 articles [sw18290]
  • work, the computational method is verified against known results. Finally, the simulation method is applied...
  • ProVerif

  • Referenced in 25 articles [sw06558]
  • called Dolev-Yao model). This protocol verifier is based on a representation of the protocol ... result has been obtained thanks to some well-chosen approximations. This means that the verifier...
  • VIPR

  • Referenced in 2 articles [sw18034]
  • VIPR. Verifying Integer Programming Results. VIPR is new a software project to verify, in exact ... rational arithmetic, the correctness of results computed by mixed-integer linear programming solvers ... Gleixner, and Daniel E. Steffy: Verifying Integer Programming Results”: Software for mixed-integer linear programming ... produce independently verifiable certificates of claimed results. Due to the complex nature of state...
  • MAYA

  • Referenced in 25 articles [sw03423]
  • error-prone and therefore an evolutionary process. Verifying formal specifications usually reveals hidden errors causing ... specification. Also adding new functionality will result in changes of the specification which always endangers ... since it allows users to specify and verify developments in a structured manner, incorporates...
  • SmartMobile

  • Referenced in 15 articles [sw10867]
  • Mobile with verified techniques to provide a guarantee that the obtained results are correct...
  • GRAPH

  • Referenced in 20 articles [sw19079]
  • Graph theoretical results obtained by the support of the expert system “Graph” -- an extended survey ... graph theory by helping to pose, verify or disprove conjectures. The present article surveys ... papers, mostly in spectral graph theory, which results were obtained with the support of GRAPH...
  • Chapar

  • Referenced in 2 articles [sw22667]
  • site crashes and network partitions. Theoretical results state that causal consistency ... operational semantics for causal consistency. We have verified the causal consistency of two key-value ... client programs. The two independently verified results for the implementations and clients can be composed...