Report No. UCB//CSD-02-1213 November 12, 2002 Computer Science Division...  Home/Search
Context
Related
| berkeley.edu/techrepor...CSD021213.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: berkeley.edu/access...CSD021213 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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