Henny B. Sipma  Home/Search
Context Related
| stanford.edu/~sipma/chapter6.ps Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: stanford.edu/~sipm...cs357topics (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: interpretation of reactive systems. ACM Transactions on Programming Languages and Systems, 19(2):253--291, 1997. [DGH95] Werner Damm, Orna Grumberg, and Hardi Hungar. What if model checking must be truly symbolic. In First Intl. Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 95), volume 1019 of LNCS, pages 230--244. Springer-Verlag, May 1995. [Eme90] E. Allen Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer... (Update)
Similar documents based on text: More All
0.6: Combining Theories Sharing Dense Orders - Calogero Zarba Zohar (2003) (Correct)
0.6: Term Algebras with Length Function and Bounded Quantifier.. - Zhang, Sipma, Manna (Correct)
0.6: Abstraction and Modular Verification of.. - Manna, Colon.. (1998) (Correct)
BibTeX entry: (Update)
H. B. Sipma, T. E. Uribe, and Z. Manna. Deductive model checking. In Alur and Henzinger [AH96], pages 208--219. http://citeseer.ist.psu.edu/sipma99deductive.html More
@inproceedings{ sipma96deductive,
author = "{H. B. Sipma} and {T. E. Uribe} and {Z. Manna}",
title = "Deductive Model Checking",
booktitle = "Proceedings of the Eighth International Conference on Computer Aided Verification {CAV}",
volume = "1102",
month = "/",
publisher = "Springer Verlag",
address = "New Brunswick, NJ, USA",
editor = "{Rajeev Alur} and {Thomas A. Henzinger}",
pages = "208--219",
year = "1996",
url = "citeseer.ist.psu.edu/sipma99deductive.html" }
Citations (may not include all citations):779 Symbolic model checking: 10 20 states and beyond - Burch, Clarke et al. - 1990
18 Efficient on-the-fly model checking for CTL - Bhat, Cleaveland et al. - 1995
9 Rajeev Alur and Thomas (context) - Alur, editors et al. - 1996
5 STeP: Deductivealgorithmic verification of reactive and real.. (context) - Bjrner, Browne et al.
The graph only includes citing articles where the year of publication is known.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC