Volume 5, Number 2, June 1999 Church's Problem Revisited Orna Kupferman And...  Home/Search
Context
Related
| ucla.edu/~asl/bsl/0502/0502004.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: rice.edu/~vardi/papers/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In program synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. When the system is open, then at each moment it reads input signals and writes output signals, which depend on the input signals and the history of the computation so far. The specification considers all possible input sequences. Thus, if the specification is linear, it should hold in every computation generated by the interaction, and if the specification is branching, it... (Update)
Similar documents (at the sentence level):
38.8%: Synthesis with Incomplete Information - Kupferman, Vardi (1997) (Correct)
9.6%: µ-calculus Synthesis - Kupferman, Vardi (2000) (Correct)
Active bibliography (related documents): More All
0.5: Coverage Metrics for Temporal Logic Model Checking - Chockler, Kupferman, Vardi (2000) (Correct)
0.5: On Behavior of Interacting Agents - Dekhtyar, Dikovsky, Valiev (2002) (Correct)
0.2: Synthesis of Reo Circuits for Implementation of.. - Arbab, Baier, de.. (2004) (Correct)
Similar documents based on text: More All
0.4: Extended Temporal Logic Revisited - Kupferman, Piterman, Vardi (2001) (Correct)
0.4: Module Checking Revisited - Kupferman, Vardi (1997) (Correct)
0.4: An Automata-Theoretic Approach to Reasoning about.. - Kupferman, Vardi (2000) (Correct)
BibTeX entry: (Update)
@misc{ june-bulletin,
author = "Volume Number June",
title = "The Bulletin of Symbolic Logic",
url = "citeseer.ist.psu.edu/732671.html" }
Citations (may not include all citations):539 The temporal logic of programs (context) - Pnueli - 1977
291 Theoretical Computer Science (context) - semantics, programs - 1981
198 Trace theory for automatic hierarchical verification of spee.. (context) - Dill - 1989
162 Automata-theoretic techniques for modal logics of programs (context) - Vardi, Wolper
131 The complexity of tree automata and logics of programs (context) - Emerson, Jutla - 1988
127 An automata-theoretic approach to branching-time model check.. - Bernholtz, Vardi et al. - 1994
120 Handbook of theoretical computer science (context) - Emerson, modal - 1990
110 the synthesis of a reactive module (context) - Pnueli, Rosner - 1989
94 A deductive approach to program synthesis (context) - Manna, Waldinger - 1980
84 Decision procedures and expressiveness in the temporal logic.. (context) - Emerson, Halpern - 1985
58 Alternating automata on infinite trees (context) - Muller, Schupp - 1987
52 Modeling and control of logical discrete event systems (context) - Kumar, Garg - 1995
45 Deciding full branching time logics (context) - Emerson, Sistla - 1984
44 Tree automata: an informal survey (context) - Thatcher - 1973
40 Improved upper and lower bounds for modal logics of programs (context) - Vardi, Stockmeyer - 1985
37 the temporal logic of programs (context) - Lamport, sometimes et al. - 1980
36 Weakly definable relations and special automata (context) - Rabin - 1970
30 Supervisory control of nondeterministic systems under partia.. - Kumar, Shayman - 1995
26 Realizable and unrealizable concurrent program specification.. (context) - Abadi, Lamport et al. - 1989
26 Using branching time logic to synthesize synchronization ske.. (context) - Emerson, Clarke - 1982
17 and automata (context) - Church, arithmetics
16 An automata-theoretic approach to fair realizability and syn.. - Vardi - 1995
11 Rabin's uniformization problem (context) - Gurevich, Shelah - 1983
11 Modular synthesis of reactive systems (context) - Rosner - 1992
7 Solving sequential conditions by finite-state strategies (context) - uchi, HG - 1969
6 Kluwer Academic Publishers (context) - incomplete, nd et al. - 1997
2 Computer aided verification (context) - Kupferman, Vardi et al. - 1996
2 NATO Advanced Summer Institutes (context) - Harel, Pnueli et al. - 1985
1 Computer aided verification (context) - revisited - 1997
1 Journal of the Association for Computing Machinery (context) - not, On et al. - 1986
1 Theoretical Computer Science (context) - tree, nondeterministic et al. - 1995
Documents on the same site (http://www.cs.rice.edu/~vardi/papers/index.html): More
An Operational Semantics for Knowledge Bases - Fagin, Halpern, al. (1994) (Correct)
Nontraditional Applications of Automata Theory - Vardi (1994) (Correct)
Synthesis with Incomplete Information - Kupferman, Vardi (1997) (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