Results 231 to 240 of about 2,951,513 (284)
Some of the next articles are maybe not open access.
An experiment in automatic verification of programs
Communications of the ACM, 1963How effective is a compiler at replacing explicit verification, and what is the cost of this technique?
Gerald M. Weinberg, G. L. Gressett
openaire +3 more sources
An experience in embedded control software verification
2009 IEEE Conference on Emerging Technologies & Factory Automation, 2009We report on our experience with the formal verification of CalRoc2003, the software that controls the scientific payload for the SCORE coronographic experiment. Our target was using the state-of-the-art SPIN model checker for spotting concurrency problems that could have gone undetected in the traditional testing phase. Some challenges had to be faced
ROLANDO, PIERLUIGI, SISTO, Riccardo
openaire +1 more source
Verification of cryptographic protocols: An experiment
1997The objective of this paper is to present the verification of some confidentiality features of the SESAME protocol, an extension of Kerberos. We do that by using the formal approach presented in [7]. This approach is based on the use of state-based general purpose formal methods.
Marc Mehdi Ayadi, Dominique Bolignano
openaire +1 more source
Specification and verification
Communications of the ACM, 2011Can a programming language really help programmers write better programs?
Mike Barnett 0001 +5 more
openaire +2 more sources
Image-based face verification and experiments
Neural Computing and Applications, 2012In this paper, we propose a novel image-based identity verification method. This method first uses the training images of the claimed identity to represent the testing sample and then exploits the representation result to determine the verification result, that is, accept or reject. The proposed method not only has sound theoretical foundation but also
Qi Zhu 0001, Chengli Sun
openaire +1 more source
Experiences in the Formalisation and Verification of Medical Protocols
2003Medical practice protocols or guidelines are statements to assist practitioners and patient decisions about appropriate health care for specific circumstances. In order to reach their potential benefits, protocols must fulfill strong quality requirements.
Mar Marcos +4 more
openaire +3 more sources
Verification of Proficiency: A Prerequisite for Clinical Experience
Surgical Clinics of North America, 2010Several factors, including reduced resident work hours and concerns for patient safety, have led to the introduction of dedicated skills laboratories and a more widespread belief in the value of time spent in skills training. The American College of Surgeons and the Association of Program Directors in Surgery established a three-phase skills curriculum
Hilary, Sanfey, Gary, Dunnington
openaire +2 more sources
Experience of improving the blast static verification tool
Programming and Computer Software, 2012zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Pavel Shved +2 more
openaire +2 more sources
On Automation in the Verification of Software Barriers: Experience Report
Journal of Automated Reasoning, 2013zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Alexander Malkis, Anindya Banerjee 0001
openaire +3 more sources
Experiences in Applying Formal Verification in Robotics
2010Formal verification efforts in the area of robotics are still comparatively scarce. In this paper we report on our experiences with one such effort, which was concerned with designing, implementing and certifying a safety function for autonomous vehicles and robots.
Dennis Walter +2 more
openaire +1 more source