Results 331 to 340 of about 4,197,782 (360)
Some of the next articles are maybe not open access.
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
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
19th Design Automation Conference, 1982
A new approach to test pattern generation which is particularly suitable for self-test is described. Required computation time is much less than for present-day automatic test pattern generation (ATPG) programs. Fault simulation is not required. More patterns may be obtained than from standard ATPG programs. However, fault coverage is much higher - all
openaire +2 more sources
A new approach to test pattern generation which is particularly suitable for self-test is described. Required computation time is much less than for present-day automatic test pattern generation (ATPG) programs. Fault simulation is not required. More patterns may be obtained than from standard ATPG programs. However, fault coverage is much higher - all
openaire +2 more sources
IFAC Proceedings Volumes, 1983
Abstract Safety has often been equated with reliability and robustness. However, safety needs to be treated as a separate and important system quality. In this paper, software safety is distinguished from these other qualities and formally defined.
openaire +2 more sources
Abstract Safety has often been equated with reliability and robustness. However, safety needs to be treated as a separate and important system quality. In this paper, software safety is distinguished from these other qualities and formally defined.
openaire +2 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 +2 more sources
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 +2 more sources
1999
We report about a joint project of the universities at Karlsruhe, Kiel and Ulm on how to get correct compilers for realistic programming languages. Arguing about compiler correctness must strat from a compiling specification describing the correspondence of source and target language in formal terms.
Goos, Gerhard, Zimmermann, Wolf
openaire +2 more sources
We report about a joint project of the universities at Karlsruhe, Kiel and Ulm on how to get correct compilers for realistic programming languages. Arguing about compiler correctness must strat from a compiling specification describing the correspondence of source and target language in formal terms.
Goos, Gerhard, Zimmermann, Wolf
openaire +2 more sources
2019
Verification is one of the pillars of arms control and non-proliferation treaties as well as an important part of confidence building measures. It defines practical measures that enable treaty members to check the treaty compliance by observing, counting or monitoring specific actions and their accordance with the respective rules.
Thomas Reinhold, Christian Reuter
openaire +2 more sources
Verification is one of the pillars of arms control and non-proliferation treaties as well as an important part of confidence building measures. It defines practical measures that enable treaty members to check the treaty compliance by observing, counting or monitoring specific actions and their accordance with the respective rules.
Thomas Reinhold, Christian Reuter
openaire +2 more sources
Front-End Factor Analysis for Speaker Verification
IEEE Transactions on Audio, Speech, and Language Processing, 2011N. Dehak +4 more
semanticscholar +1 more source
Learning a similarity metric discriminatively, with application to face verification
Computer Vision and Pattern Recognition, 2005S. Chopra, R. Hadsell, Yann LeCun
semanticscholar +1 more source