• 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 non-local data structures (trees with...
  • Kernel-LEAF

  • Referenced in 28 articles [sw08982]
  • semantics (based on SLD-resolution) 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...
  • Web-HIPRE

  • 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 soundness-critical 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 publication-quality 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 machine-checked 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...