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

ACRITHXSC
 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 compilerintroduced 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 runtime 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 DolevYao model). This protocol verifier is based on a representation of the protocol ... result has been obtained thanks to some wellchosen 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 mixedinteger linear programming solvers ... Gleixner, and Daniel E. Steffy: Verifying Integer Programming Results”: Software for mixedinteger linear programming ... produce independently verifiable certificates of claimed results. Due to the complex nature of state...

MAYA
 Referenced in 25 articles
[sw03423]
 errorprone 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 keyvalue ... client programs. The two independently verified results for the implementations and clients can be composed...