Kim G. Larsen, Paul Pettersson, Wang Yi  Home/Search
Context Related
| docs.uu.se/docs/rtmv/pape...fct95.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: docs.uu.se/docs/rtmv/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . Efficient automatic model--checking algorithms for real-time systems have been obtained in recent years based on the state--region graph technique of Alur, Courcoubetis and Dill. However, these algorithms are faced with two potential types of explosion arising from parallel composition: explosion in the space of control nodes, and explosion in the region space over clock-variables. This paper reports on work attacking these explosion problems by developing and combining compositional and... (Update)
Cited by: More
Analysis of Real Time Operating System Based - Applications Libor Waszniowski (Correct)
Bounded Model Checking for Timed Systems - Audemard, Cimatti, Kornilowicz.. (2002) (Correct)
Theorie Algebrique des Langages Formels Temps Reel - Dima (2001) (Correct)
Similar documents (at the sentence level): More
49.2%: Compositional and Symbolic Model-Checking of Real-Time Systems - Larsen, Pettersson, Yi (1995) (Correct)
10.8%: Compositional Verification of Concurrent Systems - Kristoffersen (1998) (Correct)
10.6%: A Compositional Proof of a Real-Time Mutual Exclusion.. - Kristoffersen.. (1997) (Correct)
Active bibliography (related documents): More All
0.2: Real-Time System Analysis Based On State-Space Exploration - Kang (1996) (Correct)
0.2: Diagnostic Model-Checking for Real-Time Systems - Larson, al. (1995) (Correct)
0.2: Efficient Verification of Real-Time Systems.. - Kim G. Larsen.. (1997) (Correct)
Similar documents based on text: More All
0.3: UPPAAL in 1995 - Larsen, Larsson, Pettersson, Yi (Correct)
0.3: Automated Analysis of an Audio Control Protocol Using.. - Bengtsson, Griffioen.. (2002) (Correct)
0.2: New Generation of UPPAAL - Bengtsson, Larsen, Larsson.. (1998) (Correct)
Related documents from co-citation: More All
34: Symbolic model checking for realtime systems - Henzinger, Nicollin et al. - 1992
21: Theoretical Computer Science (context) - Alur, Dill et al. - 1994
14: Communication and Concurrency (context) - Milner - 1989
BibTeX entry: (Update)
Kim G. Larsen, Paul Pettersson, and Wang Yi. Modelchecking for real-time systems. In Proc. of Fundamentals of Computation Theory, 1995. http://citeseer.ist.psu.edu/larsen95modelchecking.html More
@inproceedings{ larsen95modelchecking,
author = "Kim Guldstrand Larsen and Paul Pettersson and Wang Yi",
title = "Model-Checking for Real-Time Systems",
booktitle = "Fundamentals of Computation Theory",
pages = "62-88",
year = "1995",
url = "citeseer.ist.psu.edu/larsen95modelchecking.html" }
Citations (may not include all citations):779 Symbolic Model Checking: 10 20 states and beyond - Burch, Clarke et al. - 1990
404 Symbolic model checking for real-time systems - Henzinger, Nicollin et al. - 1992
299 Model--checking for Real--Time Systems (context) - Alur, Courcoubetis et al. - 1990
258 A lattice--theoretical fixpoint theorem and its applications (context) - Tarski - 1955
214 An Old--Fashioned Recipe for Real Time - Abadi, Lamport - 1993
207 A Stubborn Attack on State Explosion (context) - Valmari - 1990
121 Automata for Modelling Real--Time Systems (context) - Alur, Dill - 1994
115 Exploiting Symmetry in Temporal Logic Model Checking (context) - Clarke, Filkorn et al. - 1993
106 A Partial Approach to Model Checking - Godefroid, Wolper - 1991
80 Delay Analysis in Synchronous Programs - Halbwachs - 1993
72 HyTech: The Cornell HYbrid TECHnology Tool - Henzinger, Ho - 1995
55 Verifying ET--LOTOS programs with KRONOS - Daws, Olivero et al. - 1994
42 From Timed Automata to Logic --- and Back - Laroussinie, Larsen et al. - 1995
35 Verification of REal--Time Systems Using PVS - Shankar - 1993
34 Partial Model Checking (context) - Andersen - 1995
24 Compositional Model Checking of Real Time Systems - Laroussinie, Larsen - 1995
22 The use of static constructs in a modal process logic - Huttel, Larsen - 1989
19 Timed modal specifications --- theory and tools - Cerans, Godskesen et al. - 1993
17 Lecture Notes in Computer Science (context) - Emerson, Jutla et al. - 1993
8 Principles of Programming Languages (context) - Clarke, Grumberg et al. - 1992
5 Automatic Verification of Real-- Time Systems By Constraint-.. (context) - Yi, Pettersson et al. - 1994
3 Synthesizing Distinghuishing Formulae for Real Time Systems .. (context) - Godskesen, Larsen - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.docs.uu.se/docs/rtmv/): More
Efficient Verification of Real-Time Systems.. - Kim G. Larsen.. (1997) (Correct)
Time Abstracted Bisimulation: Implicit Specifications and.. - Kim Larsen (1993) (Correct)
Automatic Verification of Real-Time Communicating Systems .. - Yi, Pettersson, Daniels (1994) (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