Searching for "Propositional Dynamic Logic of Nonregular Programs." – 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.

Propositional Dynamic Logic of Nonregular Programs
by David Harel, Amir Pnueli, Jonathan Stavi — 1983 — Journal of Computer and System Sciences
… between decidable and undecidable propositional dynamic Logic (PDL) is sought when iterative programs…
Cited by 20 (2 self) – Add To MetaCart

Verification of Infinite-state Systems
by Ahmed Bouajjani, Javier Esparza — 2000
…. Stavi. Propositional dynamic logic of nonregular programs. J. Comput. Syst. Sci., 26:222-243, 1983. [4…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB