Searching for "The ForSpec Temporal Logic A New Temporal Property-Specification Language." – 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.

The ForSpec Temporal Logic: A New Temporal Property-Specification Language
by Roy Armoni, Limor Fix, Alon Flaisher, Rob Gerth, Boris Ginsburg, Tomer Kanza, Avner Landver, Sela Mador-haim, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar — 2001
…The ForSpec Temporal Logic: A New Temporal Property-Specification Language ? Roy Armoni 1…
Cited by 51 (16 self) – Add To MetaCart

Bibliography
by Accellera Property Specification, J. S. Smith, D. J. Medeiros, M. W. Rohrer (eds, Proceedings Of The, R. Armoni, L. Fix, A. Flaisher, R. Gerth, B. Ginsburg, T Kanza, S. Mador-haim, E. Singerman, A. Tiemeyer, M. Y. Vardi, Y. Zbar, The For, F. Balarin, E. Stentovich, M. Chiodo, H. Hsieh, B. Tabbara, A. Jurecska, L. Lavagno, C. Passerone, K. Suzuki, A. Sangiovanni-vincentelli
….Singerman, A. Tiemeyer, M.Y. Vardi, and Y. Zbar. The For- Spec Temporal Logic: A New Temporal Property-Specification…
Add To MetaCart

Showing 1 through 2.

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