soundiness
English edit
Etymology edit
Noun edit
soundiness (uncountable)
- (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].
- 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.