A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has provided a powerful platform assuring the reliability of software. However, constructing result checkers for most problems requires not only significant domain knowledge but also ingenuity and can be error prone. In this paper we present our experience in validating result checkers using formal methods. We have conducted several case studies in validating result checkers from the commercial LEDA system for combinatorial and geometric computing. In one of our case studies, we detected a logical error in a result checker for a program computing max flow of a graph.
Download full-text PDF |
Source |
|---|---|
| http://www.ncbi.nlm.nih.gov/pmc/articles/PMC4440800 | PMC |
| http://dx.doi.org/10.1109/DSN.2004.1311909 | DOI Listing |
Publication Analysis
Top Keywords
Similar Publications
Background And Aims: Drug-drug interactions (DDIs) are a significant health issue that may adversely affect the health and well-being of patients. This study assesses and compares potential DDI (pDDI) patterns, severity, and associated risk factors in government and private hospitals in Dhaka, Bangladesh.
Methods: A total of 188 and 206 prescriptions were collected from various government and private hospitals' outdoor departments, respectively, by capturing pictures of the prescriptions.
Healthy Kai (Food) Checker Web-Based Tool to Support Healthy Food Policy Implementation: Development and Usability Study.
JMIR Form Res
January 2025
Department of Epidemiology and Biostatistics, School of Population Health, Faculty of Medical and Health Sciences, University of Auckland, Auckland, New Zealand.
Background: Public health programs and policies can positively influence food environments. In 2016, a voluntary National Healthy Food and Drink Policy was released in New Zealand to improve the healthiness of food and drinks for hospital staff and visitors. However, no resources were developed to support policy implementation.
View Article and Find Full Text PDFInternal and marginal fits of 3D-printed provisional prostheses: comparative effect of different printing parameters.
Front Oral Health
December 2024
Department of Substitutive Dental Sciences, College of Dentistry, Imam Abdulrahman Bin Faisal University, Dammam, Saudi Arabia.
Objectives: The influence of printing parameters on the marginal and internal fit of three-dimensional (3D) printed interim fixed partial dentures (IFPDs) has been understudied. This investigation sought to elucidate the impact of printing orientation and post-curing time on these critical factors.
Methods: A total of 260 3-Unit IFDPs were printed using two different resins (130/NextDent C&B MFH and 130/ASIGA DentaTOOTH).
Frequency, type and severity of drug-related problems and pharmacist interventions in Paxlovid® prescribing: a descriptive analysis.
Int J Clin Pharm
December 2024
School of Pharmacy, Applied Sciences and Public Health, Robert Gordon University, Garthdee Road, Aberdeen, AB10 7QB, Scotland, UK.
Background: Paxlovid® (nirmatrelvir and ritonavir) is the only licensed oral antiviral for COVID-19. Ritonavir is a potent inhibitor of cytochrome P450 enzymes causing numerous drug-drug interactions (DDIs).
Aim: To describe the frequency, type, and severity of detected drug related problems (DRPs) associated with Paxlovid®.
Accuracy of symptom checker for the diagnosis of sexually transmitted infections using machine learning and Bayesian network algorithms.
BMC Infect Dis
December 2024
Melbourne Sexual Health Centre, Alfred Health, 580 Swanston Street, Carlton, Melbourne, VIC, 3053, Australia.
Background: A significant proportion of individuals with symptoms of sexually transmitted infection (STI) delay or avoid seeking healthcare, and digital diagnostic tools may prompt them to seek healthcare earlier. Unfortunately, none of the currently available tools fully mimic clinical assessment or cover a wide range of STIs.
Methods: We prospectively invited attendees presenting with STI-related symptoms at Melbourne Sexual Health Centre to answer gender-specific questionnaires covering the symptoms of 12 common STIs using a computer-assisted self-interviewing system between 2015 and 2018.
Want AI Summaries of new PubMed Abstracts delivered to your In-box?
Enter search terms and have AI summaries delivered each week - change queries or unsubscribe any time!