
Crowfoot
 Referenced in 5 articles
[sw07706]
 Crowfoot: A verifier for higherorder 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 higherorder store, and allow for instance the creation ... higherorder 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 higherorder, dependentlytyped programs with sideeffects ... such as nontermination, accessing a mutable store, and throwing/catching exceptions.The axioms of Ynot form ... abstraction mechanisms of Coq to build higherlevel reasoning mechanisms which in turn ... finite maps, including support for a higherorder (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 higherorder theorem prover. The higherorder 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 highlevel 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 objectoriented, dynamically typed, reflective...

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

TensorToolbox
 Referenced in 180 articles
[sw04185]
 Efficient MATLAB computations with sparse and factored tensors...

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

ParaView
 Referenced in 204 articles
[sw06128]
 ParaView is an opensource, multiplatform data...

Oz
 Referenced in 117 articles
[sw06799]
 Oz is a highlevel programming language combining...

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