Searching for "Deciding Branching Time Logic" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

On the model checking problem for branching time logics and Basic Parallel Processes
by Javier Esparza, Astrid Kiehn — 1995 — In CAV'95, volume 939 of LNCS
…-calculus is undecidable. The decidability of branching time logics like CTL [5], or CTL [7], which are some of the most…
Cited by 25 (1 self) – Add To MetaCart

Regular Trace Event Structures
by P. S. Thiagarajan, P. S. Thiagarajan — 1996
… deal of the solutions to the decidability and model checking problems for branching time logics hinges…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB