Model Checking Using Tabled Rewriting

Abstract

LRR [3] is a rewriting system developed at the Computer Science Department of University of Houston. LRR has two subsystems: Smaran (for tabled rewriting), and TGR (for untabled rewriting). It can utilize the history of computation to eliminate the redundant work in the process of reducing terms to their normalized forms. However the practicality of using… (More)

1 Figure or Table

Topics

  • Presentations referencing similar topics