See this document in CiteSeerX!

Thomas A. Henzinger Ranjit Jhala Rupak Majumdar  (Make Corrections)  
Report No. UCB//CSD-02-1213 November 12, 2002 Computer Science Division...



  Home/Search   Context   Related

 
View or download:
berkeley.edu/techrepor...CSD021213.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  berkeley.edu/access...CSD021213 (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: A major hurdle in the algorithmic veri cation and control of systems is the need to nd suitable abstract models, which omit enough details to overcome the state-explosion problem, but retain enough details to exhibit satisfaction or controllability with respect to the speci cation. The paradigm of counterexample-guided abstraction re nement suggests a fully automatic way of nding suitable abstract models: one starts with a coarse abstraction, attempts to verify or control the abstract... (Update)

Similar documents based on text:
0.0:   Unknown -   (Correct)

BibTeX entry:   (Update)

@misc{ ucb-thomas,
  author = "Report No Ucb",
  title = "Thomas A. Henzinger Ranjit Jhala Rupak Majumdar",
  url = "citeseer.ist.psu.edu/736304.html" }
Citations (may not include all citations):
725   Temporal and modal logic (context) - Emerson - 1990
234   Supervisory control of a class of discrete-event processes (context) - Ramadge, Wonham - 1987
119   Alternating-time temporal logic - Alur, Henzinger et al. - 1997
110   the synthesis of a reactive module (context) - Pnueli, Rosner - 1989
103   the synthesis of discrete controllers for timed systems (context) - Maler, Pnueli et al. - 1995
88   Lazy abstraction - Henzinger, Jhala et al. - 2002
62   The SLAM project: debugging system software via static analy.. (context) - Ball, Rajamani - 2002
42   and games (context) - Gurevich, Harrington et al. - 1982
39   On model checking for fragments of -calculus - Emerson, Jutla et al. - 1993
38   Interface automata - de Alfaro, Henzinger - 2001
38   Counterexample-guided abstraction re nement (context) - Clarke, Grumberg et al. - 2000
34   A framework for scheduler synthesis - Altisen, ossler et al. - 1999
28   Trace Theory for Automatic Hierarchical Veri cation of Speed.. (context) - Dill - 1989
20   Abstract interpretation of game properties (context) - Henzinger, Majumdar et al. - 2000
17   and automata (context) - Church, arithmetic - 1962

[Article contains additional citations not shown here]

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