
Milawa
 Referenced in 20 articles
[sw09977]
 reflective milawa theorem prover is sound (down to the machine code that runs it). Milawa ... logic of Milawa, prove the logic sound, and prove that the source code ... formal evidence of a theorem prover’s soundness to date...

Ott
 Referenced in 32 articles
[sw00663]
 OCaml, with mechanised proofs of various soundness results. Our aim with this work...

Slide
 Referenced in 20 articles
[sw28542]
 structures (lists, trees, and beyond). Basic features: Sound and complete for local data structures (doubly ... linked lists, trees with parent pointers, etc.); Sound for nonlocal data structures (trees with...

KernelLEAF
 Referenced in 28 articles
[sw08982]
 semantics (based on SLDresolution) is proved sound and complete with respect to the model...

PIPER
 Referenced in 28 articles
[sw11478]
 system for the πcalculus, which extracts sound models as types, and (2) an assume...

WebHIPRE
 Referenced in 26 articles
[sw04145]
 other kind of information such as graphics, sound or video describing the criteria or alternatives...

WaveNet
 Referenced in 26 articles
[sw38795]
 listeners rating it as significantly more natural sounding than the best parametric and concatenative systems...

CCured
 Referenced in 24 articles
[sw10057]
 time. We prove a type soundness result and then we present a surprisingly simple type...

Psychophysics Toolbox
 Referenced in 24 articles
[sw21293]
 computers. It also provides interfaces for timing, sound, and keyboard. The number of Psychtoolbox installations...

MOPS
 Referenced in 23 articles
[sw10117]
 this approach are that it is sound in verifying the absence of certain classes...

KeYmaera X
 Referenced in 13 articles
[sw40558]
 particular—are difficult to check for soundness. To admit extension and experimentation in proof search ... prover kernel contains a list of sound axioms that are instantiated using a uniform substitution ... proof rule. Isolating all soundnesscritical reasoning to this prover kernel obviates the intractable task...

Praat
 Referenced in 11 articles
[sw06142]
 analysing, synthesizing and manipulating speech and other sounds, and for creating publicationquality graphics ... corpus typically consists of a set of sound files, each of which is paired with ... acoustic analysis of the individual sounds, in the annotation of these sounds, and in browsing ... multiple sound and annotation files across the corpus. Corpuswide acoustic analyses, leading to tables ready...

VISSIM
 Referenced in 20 articles
[sw13506]
 their interactions in one model. Scientifically sound motion models provide a realistic modelling...

SCIFF
 Referenced in 20 articles
[sw20513]
 SCIFF language, and the termination, soundness, and completeness results of the SCIFF proof procedure...

LPL software
 Referenced in 19 articles
[sw04860]
 induction. Advanced chapters include proofs of soundness and completeness for propositional and predicate logic...

cminor
 Referenced in 19 articles
[sw09739]
 detail a machinechecked proof of soundness of our Separation Logic. This is the first...

Checkfence
 Referenced in 19 articles
[sw09939]
 respect to a selected memory model. CheckFence soundly verifies or falsifies the implementation for individual...

DeepStack
 Referenced in 18 articles
[sw27097]
 Texas hold’em. The approach is theoretically sound and is shown to produce strategies that...

LMS SYSNOISE
 Referenced in 12 articles
[sw06763]
 noise radiated from vibrating structures, simulating the sound inside a cavity, to estimating the sound...