Results 171 to 180 of about 2,368 (218)
Some of the next articles are maybe not open access.
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
Experiments in program verification using Event-B
Formal Aspects of Computing, 2012Abstract The Event-B method can be used to model all sorts of discrete event systems, among them sequential programs. In this article we describe our experiences with using Event-B by way of two examples. We present a simple model of a factorial program, explaining the method, and a more intricate model of the Quicksort algorithm, providing ...
Hallerstede, Stefan, Leuschel, Michael
openaire +2 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
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 +2 more sources
ESP-MC: An experiment in the use of verification tools
1995We present an experiment of applying existing verification tools for process algebra, namely ACTL model checker and AUTO, to a system based on parallel logic programming: Extended Shared Prolog (ESP). The constructed tool ESP-MC (a semi-automatic model checker for ESP) models value passing by suitably expanding all the data that influence the control ...
Xiaojun, Chen +2 more
openaire +3 more sources
Improving the experience of death verification in the community
Education for Primary Care, 2018The West Hampshire Clinical Commissioning Group (WHCCG) area has a significantly older population profile compared to the average for England with a higher life expectancy.
openaire +2 more sources
An Experiment in Type Inference and Verification by Abstract Interpretation
2002This paper describes an experiment in the definition of tools for type inference and type verification of ML-like functional languages, using abstract interpretation techniques. We first show that by extending the Damas-Milner type inference algorithm, with a (bounded) fixpoint computation (as suggested by the abstract interpretation view, i.e.
GORI, ROBERTA, LEVI, GIORGIO
openaire +2 more sources
Power management verification experiences in Wireless SoCs
2011 Design, Automation & Test in Europe, 2011We look into the validation a power managed ARM Cortex A-8 core used in SoCs targeted for mobile segment. Low Power design techniques used on the chip include clock gating, voltage scaling, and power gating. We focus on the verification challenges faced in designing the processor core including RTL modeling of power switches, isolation, and level ...
Bhanu Kapoor +2 more
openaire +1 more source
Experiments in applying evolutionary algorithms to software verification
2008 IEEE Congress on Evolutionary Computation (IEEE World Congress on Computational Intelligence), 2008Complex concurrent systems present a significant challenge for software verification. If those systems are safety-critical, the need for software verification becomes particularly pressing, given the serious consequences of unforeseen defects. Complex concurrent systems are characterised by extremely large state spaces.
Woei Shyang Siaw +3 more
openaire +1 more source