soundiness

Hello, you have come here looking for the meaning of the word soundiness. In DICTIOUS you will not only get to know all the dictionary meanings for the word soundiness, but we will also tell you about its etymology, its characteristics and you will know how to say soundiness in singular and plural. Everything you need to know about the word soundiness you have here. The definition of the word soundiness will help you to be more precise and correct when speaking or writing your texts. Knowing the definition ofsoundiness, as well as those of other words, enriches your vocabulary and provides you with more and better linguistic resources.

English

Etymology

From soundy +‎ -ness.

Noun

soundiness (uncountable)

  1. (software engineering) 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.
    • 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:
      Soundiness is in fact what is meant in many papers that claim to describe a sound analysis.
    • 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):
      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, Swarat Chaudhuri, Azadeh Farzan, Computer Aided Verification: 28th International Conference, CAV 2016, →ISBN:
      JayHorn is implemented in the spirit of soundiness [14].
  2. The quality that allows something to be sensed as sound.
    • 1968, D.M. Armstrong, “The secondary qualities: An essay in the classification of theories”, in Australasian journal of philosophy, volume 46, number 3:
      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.
    • 2001, Michael J. Loux -, Metaphysics: Contemporary Readings, →ISBN, page 87:
      Thus, the "soundiness" of sound is to be identified with a suitable wave structure of a suitable medium.

Anagrams