Model Checking Linear Temporal Logic Using Tabled Logic Programming

L. Robert Pokorny, C. R. Ramakrishnan

Abstract:

Bibtex Entry:

@inproceedings{PR:TAPD00,
author = {L. Robert Pokorny and  C. R. Ramakrishnan},
title = {Model Checking Linear Temporal Logic Using Tabled Logic Programming},
booktitle = {International Workshop on Tabulation in Parsing and Deduction ({TAPD})},
address = {Vigo, Spain},
month = {September},
year = {2000}
}

Full Paper: [pdf]

Home | Papers

C. R. Ramakrishnan
(cram@cs.sunysb.edu)