Extracting proofs from tabled proof search

• Main Authors: Miller, Dale., Tiu, Alwen.
• Other Authors: School of Computer Engineering
• Format: Conference or Workshop Item
• Language: English
• Published: 2013
• Subjects: DRNTU::Engineering::Computer science and engineering
• Online Access: https://hdl.handle.net/10356/98261; http://hdl.handle.net/10220/18356
• Institution: Nanyang Technological University

We consider the problem of model checking specifications involving co-inductive definitions such as are available for bisimulation. A proof search approach to model checking with such specifications often involves state exploration. We consider four different tabling strategies that can minimize su...