“…However we take a different direction from them in our approach to abstraction and checking of temporal properties, in that we use abstract CLP program semantics when abstracting the state space (only briefly mentioned in the present work), but then apply this abstraction in a temporal logic framework, which is the topic of this work. Other authors have encoded both the transition systems and CTL semantics as constraint logic programs [8,34,37,18,21,38,39]. However none of these develops a comprehensive approach to abstract semantics when dealing with infinite-state systems.…”