Ilan Beer, Shoham Ben-David, Cindy Eisner, Dana Fisman, Anna Gringauze, Yoav Rodeh  Home/Search
Context Related
| ibm.com/projects/v..._CAV_Submission.ps Cached: PS.gz PS 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.
Image Update HelpPS.gz PS PDF From: ibm.com/projects/v...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We address the problem of the usability of temporal logic. (Update)
Cited by: More
Deterministic Dynamic Monitors for Linear-Time Assertions - Armoni, Korchemny.. (2006) (Correct)
Regular Vacuity - Doron Bustan Alon (Correct)
Experimental Evaluation of Classical Automata Constructions - Tabakov, Vardi (Correct)
Similar documents (at the sentence level):
6.8%: The Temporal Logic Sugar - Beer, Ben-David, Eisner, Fisman.. (2001) (Correct)
Active bibliography (related documents): More All
0.6: Model Checking at IBM - Ben-David, Eisner, Geist, Wolfsthal (2002) (Correct)
0.6: Model Checking the Garbage Collection Mechanism of SMV - Eisner (2001) (Correct)
0.4: Comparing Symbolic and Explicit Model Checking of a Software.. - Eisner, Peled (2002) (Correct)
Similar documents based on text: More All
0.4: Efficient Detection of Vacuity in Temporal Model Checking - Beer, Ben-David, Eisner.. (2001) (Correct)
0.4: RuleBase: an Industry-Oriented Formal Verification Tool - Beer, Ben-David, Eisner.. (1996) (Correct)
0.3: Basic Results on the Semantics of Accellera PSL 1.1.. - Havlicek, Fisman, Eisner (2004) (Correct)
Related documents from co-citation: More All
7: Model Checking - Clarke, Grumberg et al. - 1994
7: Reasoning about infinite computations - Vardi, Wolper - 1994
6: FoCs - Automatic Generation of Simulation Checkers from Formal Specication - Abarbanel, Beer et al. - 2000
BibTeX entry: (Update)
I. Beer, S. Ben-David, C. Eisner, D. Fisman, A. Gringauze, and Y. Rodeh. The temporal logic sugar. In Proc. Conf. on Computer-Aided Verification (CAV'00), volume 2102 of Lecture Notes in Computer Science, pages 363--367. Springer-Verlag, 2001. http://citeseer.ist.psu.edu/beer01temporal.html More
@article{ beer01temporal,
author = "Ilan Beer and Shoham Ben-David and Cindy Eisner and Dana Fisman and Anna Gringauze and Yoav Rodeh",
title = "The Temporal Logic Sugar",
journal = "Lecture Notes in Computer Science",
volume = "2102",
pages = "363--??",
year = "2001",
url = "citeseer.ist.psu.edu/beer01temporal.html" }
Citations (may not include all citations):1911 Introduction to Automata Theory (context) - Hopcroft, Ullman - 1979
539 The temporal logic of programs (context) - Pnueli - 1977
397 Design and synthesis of synchronization skeletons using bran.. (context) - Clarke, Emerson - 1981
53 sometimes' and 'not never' revisited: On branching versus li.. (context) - Emerson, Halpern - 1986
29 A temporal logic of concurrent programs (context) - Pnueli - 1981
20 FoCs - automatic generation of simulation checkers from form.. - Abarbanel, Beer et al. - 2000
14 Sometimes is sometimes 'not never (context) - Lamport - 1980
11 RuleBase: an industry-oriented formal verication tool (context) - Beer, Ben-David et al. - 1996
7 Ecient detection of vacuity in ACTL formulas (context) - Beer, Ben-David et al. - 1997
7 model checking of RCTL formulas (context) - Beer, Ben-David et al. - 1998
5 Timing diagrams: Formalization and algorithmic verication - Fisler - 1999
4 Ecient detection of vacuity in temporal model checking (context) - Beer, Ben-David et al. - 2001
1 Apparatus for dening properties in nite-state machines (context) - Palma, Glaser et al. - 1999
1 are integer constants such that (context) - Additional, If
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.haifa.il.ibm.com/projects/verification/RB_Homepage/publications.html): More
Coverability Analysis Using Symbolic Model Checking - Ratzaby, Ur, Wolfsthal (2001) (Correct)
Efficient Detection of Vacuity in ACTL Formulas - Beer, Ben-David, Eisner, Rodeh (1997) (Correct)
Using Symbolic Model Checking to Verify the Railway Stations of.. - Eisner (1999) (Correct)
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