An Experimental Evaluation of Global Caching for $\mathcal {ALC}$ (System Description)

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-540-71070-7_25 ◽

2008 ◽

pp. 299-305 ◽

Cited By ~ 8

Author(s):

Rajeev Goré ◽

Linda Postniece

Keyword(s):

Experimental Evaluation ◽

System Description ◽

Global Caching

Download Full-text

A History-Based Theorem Prover for Intuitionistic Propositional Logic Using Global Caching: IntHistGC System Description

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-319-08587-6_19 ◽

2014 ◽

pp. 262-268 ◽

Cited By ~ 3

Author(s):

Rajeev Goré ◽

Jimmy Thomson ◽

Jesse Wu

Keyword(s):

Propositional Logic ◽

Theorem Prover ◽

Intuitionistic Propositional Logic ◽

System Description ◽

Global Caching

Download Full-text

Assertion-based analysis via slicing withABETS(system description)

Theory and Practice of Logic Programming ◽

10.1017/s1471068416000375 ◽

2016 ◽

Vol 16 (5-6) ◽

pp. 515-532 ◽

Cited By ~ 4

Author(s):

M. ALPUENTE ◽

F. FRECHINA ◽

J. SAPIÑA ◽

D. BALLIS

Keyword(s):

Experimental Evaluation ◽

System Description ◽

Program Repair ◽

Execution Trace ◽

Runtime Assertion Checking

AbstractWe presentABETS, an assertion-based, dynamic analyzer that helps diagnose errors in Maude programs.ABETSuses slicing to automatically create reduced versions of both a run's execution trace and executed program, reduced versions in which any information that is not relevant to the bug currently being diagnosed is removed. In addition,ABETSemploys runtime assertion checking to automate the identification of bugs so that whenever an assertion is violated, the system automatically infers accurate slicing criteria from the failure. We summarize the main services provided byABETS, which also include a novel assertion-based facility for program repair that generates suitable program fixes when a state invariant is violated. Finally, we provide an experimental evaluation that shows the performance and effectiveness of the system.

Download Full-text