Verification of Software Applications for Evaluating Interlaboratory Comparison Results
نویسندگان
چکیده
منابع مشابه
Interlaboratory comparison of results of erythrocyte protoporphyrin analysis.
Each of 65 laboratories analyzed 10 whole-blood samples for erythrocyte protoporphyrin by one or more of several analytical procedures. These procedures were of two types: (a) extraction of protoporphyrin from the erythrocytes into ethyl acetate/acetic acid, re-extraction into hydrochloric acid, and fluorometric measurement; or (b) direct reading in a portable fluorometer (hematofluorometer), w...
متن کاملComparison of interlaboratory results for blood lead with results from a definitive method.
Results reported by 113 participants in the Blood Lead Proficiency Testing Program conducted by the Center for Disease Control were compared with those obtained by the National Bureau of Standards (NBS) with a definitive methods (mass spectroscopy-isotopic dilution) for blood lead analyses. Data were compiled from the results obtained for 12 whole-blood samples containing 1.5 g of disodium EDTA...
متن کاملEvaluating Software Verification Systems: Benchmarks and Competitions
This report documents the program and the outcomes of Dagstuhl Seminar 14171 “Evaluating Software Verification Systems: Benchmarks and Competitions”. The seminar brought together a large group of current and future competition organizers and participants, benchmark maintainers, as well as practitioners and researchers interested in the topic. The seminar was conducted as a highly interactive ev...
متن کاملcomparison of zoe and vitapex for canal treatment of necrotic primary teeth
چکیده ندارد.
15 صفحه اولSoftware Verification with Validation of Results
This report describes the 2017 Competition on Software Verification (SV-COMP), the 6th edition of the annual thorough comparative evaluation of fully-automatic software verifiers. The goal is to reflect the current state of the art in software verification in terms of effectiveness and efficiency. The major achievement of the 6th edition of SV-COMP is that the verification results were validate...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Procedia Engineering
سال: 2014
ISSN: 1877-7058
DOI: 10.1016/j.proeng.2014.02.231