Results 251 to 260 of about 1,057,123 (303)
Some of the next articles are maybe not open access.
Accreditation—a verification ritual lacking verification
BMJ, 2018The King’s Fund found that Care Quality Commission (CQC) audits had little impact on the quality of care.1 Oxebridge has put this in the wider context, saying that placing confidence in related systems from the International Organization for Standardization (ISO) does not prevent loss of life.2 Compliance with such standards is equated with “quality.”
openaire +2 more sources
Verification Is Experimentation!
International Journal on Software Tools for Technology Transfer, 2000zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
The Review of Symbolic Logic, 2020
AbstractThis paper clarifies, revises, and extends the account of the transmission of truthmakers by core proofs that was set out in chap. 9 of Tennant (2017). Brauer provided two kinds of example making clear the need for this. Unlike Brouwer’s counterexamples to excluded middle, the examples of Brauer that we are dealing with here establish the need ...
Ethan Brauer, Neil Tennant
openaire +2 more sources
AbstractThis paper clarifies, revises, and extends the account of the transmission of truthmakers by core proofs that was set out in chap. 9 of Tennant (2017). Brauer provided two kinds of example making clear the need for this. Unlike Brouwer’s counterexamples to excluded middle, the examples of Brauer that we are dealing with here establish the need ...
Ethan Brauer, Neil Tennant
openaire +2 more sources
ACM SIGLOG News, 2023
Many verification problems can be formulated as a language inclusion problem where the task is to decide whether the language of the system model (given by the runs of the system) is contained in the language induced by a logical specification. The corresponding verification problem for non-functional properties is the quantitative inclusion problem ...
openaire +1 more source
Many verification problems can be formulated as a language inclusion problem where the task is to decide whether the language of the system model (given by the runs of the system) is contained in the language induced by a logical specification. The corresponding verification problem for non-functional properties is the quantitative inclusion problem ...
openaire +1 more source
ACM SIGLOG News, 2015
The technical column on verification presents an invited contribution by Dr. Franco Raimondi (Department of Computer Science in Middlesex University, London) titled "Using multi-agent systems to go beyond temporal patterns verification" in the April issue of the SIGLOG newsletter.
openaire +5 more sources
The technical column on verification presents an invited contribution by Dr. Franco Raimondi (Department of Computer Science in Middlesex University, London) titled "Using multi-agent systems to go beyond temporal patterns verification" in the April issue of the SIGLOG newsletter.
openaire +5 more sources
Formal Aspects of Computing, 1994
Abstract We present a module concept with algebraic interfaces and imperative implementation. It is shown that under some natural conditions, module correctness may be expressed in Hoare logic as a partial correctness assertion. Also, we discuss questions of practical verification of modules using Hoare's calculus.
openaire +3 more sources
Abstract We present a module concept with algebraic interfaces and imperative implementation. It is shown that under some natural conditions, module correctness may be expressed in Hoare logic as a partial correctness assertion. Also, we discuss questions of practical verification of modules using Hoare's calculus.
openaire +3 more sources
Tulane Studies in Philosophy, 1972
Harold N. Lee has contended that metaphysical doctrines, such as solipsism and mind-matter dualism, should be interpreted as hypotheses.1 This claim is of considerable importance, for if it is correct, we should reject not only the traditional dogma that some metaphysical doctrines are “absolutely certain,” but also the skeptical rejoinder which the ...
openaire +1 more source
Harold N. Lee has contended that metaphysical doctrines, such as solipsism and mind-matter dualism, should be interpreted as hypotheses.1 This claim is of considerable importance, for if it is correct, we should reject not only the traditional dogma that some metaphysical doctrines are “absolutely certain,” but also the skeptical rejoinder which the ...
openaire +1 more source
IEEE Transactions on Computers, 1977
The need for verification of hardware designs is particularly important for large-scale-integration technologies because of the great cost, in time and money, for engineering changes. This correspondence describes an efficient means for determining the equivalence of a behavioral, high-level, i.e., flowchart, definition of the design and a detailed ...
openaire +1 more source
The need for verification of hardware designs is particularly important for large-scale-integration technologies because of the great cost, in time and money, for engineering changes. This correspondence describes an efficient means for determining the equivalence of a behavioral, high-level, i.e., flowchart, definition of the design and a detailed ...
openaire +1 more source
On the verification of modules
1990We present a module concept with algebraic interface and imperative implementation. It is shown that under some natural conditions, module correctness may be uniformly expressed in Hoare logic as a partial correctness assertion.
Grigoris Antoniou, Volker Sperschneider
openaire +2 more sources
ACM SIGLOG News, 2014
Verification can be described as a process applying logical reasoning to mathematical models of computation. Often these models represent software and hardware systems or their components, however, various other application domains, for example, systems biology, can also benefit from verification techniques.
openaire +1 more source
Verification can be described as a process applying logical reasoning to mathematical models of computation. Often these models represent software and hardware systems or their components, however, various other application domains, for example, systems biology, can also benefit from verification techniques.
openaire +1 more source