Extracting proofs from tabled proof search
Miller, Dale; Tiu, Alwen
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 diffe
|01_Miller_Extracting_proofs_from_tabled_2013.pdf||270.76 kB||Adobe PDF|| Request a copy|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.