Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Error Reporting Logic Ciera Jaspan
 

Summary: Error Reporting Logic
Ciera Jaspan
Carnegie Mellon University
Pittsburgh, PA USA
ciera@cmu.edu
Trisha Quan
Carnegie Mellon University
Pittsburgh, PA USA
tkq@andrew.cmu.edu
Jonathan Aldrich
Carnegie Mellon University
Pittsburgh, PA USA
aldrich@cs.cmu.edu
Abstract--When a system fails to meet its specification, it can
be difficult to find the source of the error and determine how to
fix it. In this paper, we introduce error reporting logic (ERL),
an algorithm and tool that produces succinct explanations for
why a target system violates a specification expressed in first
order predicate logic. ERL analyzes the specification to determine
which parts contributed to the failure, and it displays an error

  

Source: Aldrich, Jonathan - School of Computer Science, Carnegie Mellon University

 

Collections: Computer Technologies and Information Sciences