Results 271 to 280 of about 828,996 (313)
Some of the next articles are maybe not open access.
Verification Is Experimentation!
International Journal on Software Tools for Technology Transfer, 2000zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
2008 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008
Reportedly, supercomputer designer Seymour Cray once said that he would sooner use two strong oxen to plow afield than a thousand chickens. Although this is undoubtedly wise when it comes to plowing afield, it is not so clear for other types of tasks. Model checking problems are of the proverbial "search the needle in a haystack" type.
Holzmann, Gerard J. +2 more
openaire +1 more source
Reportedly, supercomputer designer Seymour Cray once said that he would sooner use two strong oxen to plow afield than a thousand chickens. Although this is undoubtedly wise when it comes to plowing afield, it is not so clear for other types of tasks. Model checking problems are of the proverbial "search the needle in a haystack" type.
Holzmann, Gerard J. +2 more
openaire +1 more source
IEEE Design and Test of Computers, 2005
Comprehensive Functional Verification, by Bruce Wile, John C. Goss, and Wolfgang Roesner (Morgan Kaufmann, 2005, ISBN 0-12-751803-7, 704 pp., $59.95). This new verification book lives up to its titleit is by far one of the most comprehensive books on verification.
openaire +1 more source
Comprehensive Functional Verification, by Bruce Wile, John C. Goss, and Wolfgang Roesner (Morgan Kaufmann, 2005, ISBN 0-12-751803-7, 704 pp., $59.95). This new verification book lives up to its titleit is by far one of the most comprehensive books on verification.
openaire +1 more source
IEEE Transactions on Communications, 1982
A version of the standard high level data link control protocol has been verified as an experiment with an automated verification system. This paper tries to answer questions such as: How can HDLC and its properties be represented? To what extent can they be proved? What are the main obstacles in verifying protocols like HDLC.
Daniel Brand, William H. Joyner Jr.
openaire +1 more source
A version of the standard high level data link control protocol has been verified as an experiment with an automated verification system. This paper tries to answer questions such as: How can HDLC and its properties be represented? To what extent can they be proved? What are the main obstacles in verifying protocols like HDLC.
Daniel Brand, William H. Joyner Jr.
openaire +1 more source
IEEE Design & Test, 2017
This issue is focused on the special issue on “Emerging Challenges and Solutions in SoC Verification” from Guest Editors Magdy Abadir, Jayanta Bhadra, Wen Chen, and Li-C Wang. This special issue on verification is very timely, as new developments demand new verification techniques.
openaire +2 more sources
This issue is focused on the special issue on “Emerging Challenges and Solutions in SoC Verification” from Guest Editors Magdy Abadir, Jayanta Bhadra, Wen Chen, and Li-C Wang. This special issue on verification is very timely, as new developments demand new verification techniques.
openaire +2 more sources
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
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
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 +2 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 +2 more sources
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 +1 more source
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 +1 more source