Zohar Manna, Amir Pnueli  Home/Search
Context Related
| wisdom.weizmann.ac.il/...anchored.ps.gz wisdom.weizmann.ac.il/...anchored.ps.gz wisdom.weizmann.ac.il/...anchored.ps.gz 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: fermivista.math....weizmann.ac.il (more) From: wisdom.weizmann.ac.il/~...candj (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . In this survey paper we present some of the recent developments in the temporal formal system for the specification, verification and development of reactive programs. While the general methodology remains very much the one presented in some earlier works on the subject, such as [MP83c, MP83a, Pnu86], there have been several technical improvements and gained insights in understanding the computational model, the logic itself, the proof system and its presentation, and connections with... (Update)
Cited by: More
Propositional Temporal Logics and - Equivalences Ursula Goltz (Correct)
The Complexity of Temporal Logic Model Checking - Schnoebelen (2003) (Correct)
A Procedure to Translate Paradigm Specifications to.. - Augusto, Gomez (2002) (Correct)
Active bibliography (related documents): More All
0.6: Characterization of Temporal Property Classes - Edward Chang (1992) (Correct)
0.5: On the Cascaded Decomposition of Automata, its Complexity and.. - Maler, Pnueli (1994) (Correct)
0.3: Incremental Model Checking for Decomposable Structures - Makowsky, Ravve (1995) (Correct)
Similar documents based on text: More All
0.2: Deductive Modelchecking - Sipma (1999) (Correct)
0.1: Verification of Clocked and Hybrid Systems - Kesten, Manna, Pnueli (1998) (Correct)
0.1: Temporal Verification of Simulation and Refinement - Kesten, Manna, Pnueli (1994) (Correct)
Related documents from co-citation: More All
18: The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1992
17: The glory of the past (context) - Lichtenstein, Pnueli et al. - 1985
17: The temporal logic of programs (context) - Pnueli - 1977
BibTeX entry: (Update)
Z. Manna and A. Pnueli. The anchored version of the temporal framework. In J.W. De Bakker, W.P. De Roover, and G. Rozenberg, editors, Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency, LNCS 354. Springer Verlag, 1989. http://citeseer.ist.psu.edu/manna89anchored.html More
@incollection{ manna89anchored,
author = "Z. Manna and A. Pnueli",
title = "The Anchored Version of the Temporal Framework",
booktitle = "Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency",
publisher = "Springer Verlag",
editor = "J. W. De Bakker and W. P. De Roover and G. Rozenberg",
pages = "201--284",
year = "1989",
url = "citeseer.ist.psu.edu/manna89anchored.html" }
Citations (may not include all citations):1097 Automatic verification of finite state concurrent systems us.. (context) - Clarke, Emerson et al. - 1986
652 A Discipline of Programming (context) - Dijkstra - 1976
275 The Science of Programming (context) - Gries - 1981
274 The existence of refinement mappings - Abadi, Lamport - 1988
230 Checking that finite state concurrent programs satisfy their.. (context) - Lichtenstien, Pnueli - 1984
195 Parallel Program Design (context) - Chandy, Misra - 1988
177 Temporal logic can be more expressive (context) - Wolper - 1983
163 the temporal analysis of fairness (context) - Gabbay, Pnueli et al. - 1980
162 Automata theoretic techniques for modal logics of programs (context) - Vardi, Wolper - 1986
160 What good is temporal logic (context) - Lamport - 1983
157 Proving the correctness of multiprocess programs (context) - Lamport - 1977
133 Mathematical Theory of Computation (context) - Manna - 1974
127 Counter Free Automata (context) - McNaughton, Papert - 1971
122 Applications of temporal logic to the specification and veri.. (context) - Pnueli - 1986
104 Proving liveness properties of concurrent programs (context) - Owicki, Lamport - 1982
99 Correctness preserving program refinements: Proof theory and.. (context) - Back - 1980
87 Volume 4 of EATCS Monographs on Theoretical Computer Science (context) - Reisig, Nets et al. - 1985
85 Recognizing safety and liveness - Alpern, Schneider - 1987
77 Now you may compose temporal logic specifications (context) - Barringer, Kuiper et al. - 1984
68 Specifying concurrent program modules (context) - Lamport - 1983
66 Defining liveness (context) - Alpern, Schneider - 1985
63 The temporal logic of branching time (context) - Ben-Ari, Manna et al. - 1983
52 Specification and verification of concurrent programs by 8- .. (context) - Manna, Pnueli - 1987
44 Information and Control (context) - Wagner, Gammaregular - 1979
43 Verification of concurrent programs: A temporal proof system (context) - Manna, Pnueli - 1983
40 Real-time programming and asynchronous message passing (context) - Koymans, Vytopyl et al. - 1983
38 Interleaving Set Temporal Logic (context) - Katz, Peled - 1987
37 Compositional Verification of Distributed Systems (context) - Jonsson - 1987
35 How to cook a temporal proof system for your pet language (context) - Manna, Pnueli - 1983
33 Adequate proof principles for invariance and liveness proper.. (context) - Manna, Pnueli - 1984
28 Fairness and related properties in transition systems --- A .. (context) - Queille, Sifakis - 1983
26 not never' revisited: On branching time versus linear time (context) - Emerson, Halpern - 1986
24 A combinatorial approach to the theory (context) - Thomas - 1981
23 Verifying temporal properties without temporal logic - Alpern, Schneider - 1989
17 A model and temporal proof system for network of processes (context) - Nguyen, Gries et al. - 1985
16 Concurrency and Partial Correctness: Proof theories for netw.. (context) - Zwiers - 1988
16 Examples of a real-time temporal logic specifications (context) - Koymans, de Roever - 1983
14 Mathematical Systems Theory (context) - Landweber, for - 1969
8 Tense Logic and the Theory of Order (context) - Kamp - 1968
7 Proving precedence properties: the temporal way (context) - Manna, Pnueli - 1983
6 Past Temporal Logic (context) - Zuck - 1986
4 Completeness and incompleteness of tracebased network proof .. - Widom, Gries et al. - 1987
3 Logics of Programs (context) - Lichtenstien, Pnueli et al. - 1985
2 On caracterization of safety and liveness properties in temp.. (context) - Sistla - 1985
1 Automata on Infinite Objects and Churc's Problem (context) - Rabin - 1972
1 Decentralization of process nets with a centalized control (context) - Back, Kurki-Suonio - 1983
1 Is 'sometime' sometimes better than 'always (context) - Manna, Waldinger - 1978
1 Propositional dynamic logic with converse (context) - Street - 1982
1 Different Styles of Compositional and Modular Proofsystems f.. (context) - de Roever, Zwiers - 1987
1 Gammaregular languages (context) - Kaminski, of - 1985
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.wisdom.weizmann.ac.il.html): More
Local Majority Voting, Small Coalitions and Controlling Monopolies .. - Peleg (1996) (Correct)
On Constructing 1-1 One-Way Functions - Goldreich, Levin, Nisan (1995) (Correct)
Infinite Cyclic Impartial Games - Fraenkel, Rahat (2001) (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