Results 121 to 130 of about 253,484 (163)

Verification of software barriers

Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming, 2012
This paper describes frontiers in verification of the software barrier synchronization primitive. So far most software barrier algorithms have not been mechanically verified. We show preliminary results in automatically proving the correctness of the major software barriers.
Alexander Malkis, Anindya Banerjee
openaire   +1 more source

Deductive Software Verification

2001
In the late 1960’s, several researchers, in particular Floyd [45] and Hoare [63], advocated the idea of formally verifying algorithms and computer programs. The techniques developed involved formalisms that combine program text and logic, used within specially developed proof systems.
openaire   +1 more source

Verification of Software

1976
At the beginning of every software development some concepts of what the system should do are formulated. The verification of the software package produced constitutes confirmation that these concepts are in fact fulfilled.
openaire   +1 more source

Software Verification with BLAST

2003
Blast (the Berkeley Lazy Abstraction Software verification Tool) is a verification system for checking safety properties of C programs using automatic property-driven construction and model checking of software abstractions. Blast implements an abstract-model check-refine loop to check for reachability of a specified label in the program.
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre   +3 more
openaire   +1 more source

Software Regression Verification

2013
Abstract : The objective of this research effort was to study and develop a formal methodology for conducting automated or semiautomated software regression testing. To that end, we have developed and extended a regression verification tool (RVT) in various ways, which together improved tremendously its functionality, robustness and completeness ...
openaire   +1 more source

Economics of software verification

Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, 2001
How can we determine the added value of software verification techniques over the more readily available conventional testing techniques? Formal verification techniques introduce both added costs and potential benefits. Can we show objectively when the benefits will outweigh the cost?
openaire   +1 more source

Software verification and validation

IEEE Technical Applications Conference. Northcon/96. Conference Record, 2002
It is tempting just to develop software in the usual way and then try to assure that the finished product is safe. This approach is akin to relying on downstream protection systems-the cost can be exorbitant and the assurance limited. The most practical and effective way to enhance software system safety is to follow a complete safeware program that ...
openaire   +1 more source

Integrative oncology: Addressing the global challenges of cancer prevention and treatment

Ca-A Cancer Journal for Clinicians, 2022
Jun J Mao,, Msce, Lorenzo Cohen, Karen M Mustian   +2 more
exaly  

Software Verification

2022
openaire   +1 more source

Software Testing and Verification

1987
Publisher Summary The chapter presents a broad view of many important concepts needed for testing, either during design or under maintenance, together with an overview of a number of research results and approaches that will affect testing practice in the future.
openaire   +1 more source