On relating CTL to Datalog

Abstract

CTL is the dominant temporal specification language in practice mainly due to the fact that it admits model checking in linear time. Logic programming and the database query language Datalog are often used as an implementation platform for logic languages. In this paper we present the exact relation between CTL and Datalog and moreover we build on this… (More)

Topics

4 Figures and Tables

Slides referencing similar topics