Searching for "Simple on-the-fly automatic verification of linear temporal 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.

Simple On-the-fly Automatic Verification of Linear Temporal Logic
by Rob Gerth, Doron Peled, Moshe Y. Vardi, R. Gerth, Den Dolech Eindhoven, D. Peled, M. Y. Vardi, Pierre Wolper — 1995 — In Protocol Specification Testing and Verification
…Simple On-the-fly Automatic Verification of Linear Temporal Logic R. Gerth Technical University…
Cited by 210 (19 self) – Add To MetaCart

Simple On-the-fly Automatic Verification of Linear Temporal Logic
by Gerth Technical University, M. Y. Vardi, P. Wolper — 1995
… linear temporal logics, Journal of the ACM, 32(1985), 733{749. [11] W. Thomas, Automata on in nite…
Add To MetaCart

Showing 1 through 2.

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