• Crowfoot

  • Referenced in 5 articles [sw07706]
  • Crowfoot: A verifier for higher-order store programs. We present Crowfoot, an automatic verification tool ... these programs use a heap that can store not only data but also code (commands ... procedures). Such heaps are often called higher-order store, and allow for instance the creation ... higher-order store to model phenomena such as runtime loading and unloading of code, runtime...
  • Ynot

  • Referenced in 35 articles [sw12334]
  • supports writing, reasoning about, and extracting higher-order, dependently-typed programs with side-effects ... such as non-termination, accessing a mutable store, and throwing/catching exceptions.The axioms of Ynot form ... abstraction mechanisms of Coq to build higher-level reasoning mechanisms which in turn ... finite maps, including support for a higher-order (effectful) iterator. The implementations range from simple...
  • Diamanlab

  • Referenced in 2 articles [sw26170]
  • stored in checkpoints. Theoretical aspects and implementation are generic, taking advantage of the efficient higher ... order asymptotic numerical method in its Diamant form that interprets the generic nonlinear problem...
  • Watson

  • Referenced in 1 article [sw25432]
  • equational higher-order theorem prover. The higher-order logic supported by the prover is distinctive ... automated proof strategies, which are represented and stored by the prover in the same...
  • Gmsh

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

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

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

  • Referenced in 13460 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • ALGOL 68

  • Referenced in 291 articles [sw01226]
  • ALGOL 68 (short for ALGOrithmic Language 1968) is...
  • Smalltalk

  • Referenced in 190 articles [sw01561]
  • Smalltalk is an object-oriented, dynamically typed, reflective...
  • UCI-ml

  • Referenced in 3379 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • METIS

  • Referenced in 467 articles [sw04089]
  • METIS is a set of serial programs for...
  • RODAS

  • Referenced in 1695 articles [sw04112]
  • Rosenbrock method of order 4(3), for problems...
  • Isar

  • Referenced in 144 articles [sw04599]
  • Theorem proving system supporting both interactive proof development...
  • ParaView

  • Referenced in 204 articles [sw06128]
  • ParaView is an open-source, multi-platform data...
  • Oz

  • Referenced in 117 articles [sw06799]
  • Oz is a high-level programming language combining...
  • VeriFast

  • Referenced in 64 articles [sw07705]
  • The VeriFast program verifier. This note describes a...