Extracting proofs from tabled proof search

• Main Authors: Miller, Dale., Tiu, Alwen.
• 其他作者: School of Computer Engineering
• 格式: Conference or Workshop Item
• 語言: English
• 出版: 2013
• 主題: DRNTU::Engineering::Computer science and engineering
• 在線閱讀: https://hdl.handle.net/10356/98261; http://hdl.handle.net/10220/18356
• 機構: 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...