Skip to content
ontologydriven
Sign out

Dictionary

Words, grammatical forms and meanings linked to the ontology.

soundiness en · NOUN

Etymology

From soundy + -ness.

Meanings

  1. (uncountable) A state of being mostly sound; the condition of being rigorously sound in all but some well-defined areas; a best approximation of soundness in an environment where absolute soundness or proof of soundness is not feasible.
    • Soundiness is in fact what is meant in many papers that claim to describe a sound analysis. 2015 February, Benjamin Livshits, Manu Sridharan, Yannis Smaragdakis, Ondřej Lhotȧk, J. Nelson Amaral, Bor-Yuh Evan Chang, Samuel Z. Guyer, Uday P. Khedker, Anders Møller, Dimitrios Vardoulakis, “In defense of soundiness: a manifesto”, in Communications of the ACM, volume 58, number 2:
    • JayHorn is implemented in the spirit of soundiness [14]. 2016, Swarat Chaudhuri, Azadeh Farzan, Computer Aided Verification: 28th International Conference, CAV 2016, →ISBN:
    • While this lack of soundness and precision can be viewed as a deficiency, we argue that instead – in the spirit of “soundiness” [23] – it is a strength. 2016 February, Ahmet Salih Buyukkayhan, Kaan Onarlioglu, William K Robertson, Engin Kirda, “CrossFire: An Analysis of Firefox Extension-Reuse Vulnerabilities”, in Proceedings of the ISOC Network and Distributed System Security Symposium (NDSS):
  2. (uncountable) The quality that allows something to be sensed as sound.
    • Thus, the "soundiness" of sound is to be identified with a suitable wave structure of a suitable medium. 2001, Michael J. Loux -, Metaphysics: Contemporary Readings, →ISBN, page 87:
    • But it will assert that the sensible quality of sounding--the soundiness of sound--cannot be reduced to the properties of sound-waves that physicists take professional notice of. 1968, D.M. Armstrong, “The secondary qualities: An essay in the classification of theories”, in Australasian journal of philosophy, volume 46, number 3: