Sérgio Vale Aguiar Campos, Edmund Clarke  Home/Search
Context Related
| araxa.lecom.dcc.ufmg.br/mo...sttt.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: araxa.lecom.dcc.uf...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: : The task of checking if a computer system satisfies its timing specifications is extremely important. These systems are often used in critical applications where failure to meet a deadline can have serious or even fatal consequences. This paper presents an efficient method for performing this verification task. In the proposed method a real-time system is modeled by a state-transition graph represented by binary decision diagrams. Efficient symbolic algorithms exhaustively explore the state... (Update)
Similar documents based on text: More All
0.3: Compositional Reasoning in Model Checking - Berezin, Campos, Clarke (1998) (Correct)
0.3: The Verus Language: Representing Time Efficiently with BDDs - Campos (1997) (Correct)
0.3: A Model For Alarm Correlation in Telecommunications Networks - Meira (1997) (Correct)
BibTeX entry: (Update)
Campos, S., and E. Clarke, "Analysis and Verification of Real-time Systems Using Quantitative Symbolic Algorithms," Journal of Software Tools for Technology Transfer, 2(1999). http://citeseer.ist.psu.edu/campos99analysis.html More
@article{ campos99analysis,
author = "Sergio Vale Aguiar Campos and Edmund M. Clarke",
title = "Analysis and Verification of Real-Time Systems Using Quantitative Symbolic Algorithms",
journal = "International Journal on Software Tools for Technology Transfer",
volume = "2",
number = "3",
pages = "260-269",
year = "1999",
url = "citeseer.ist.psu.edu/campos99analysis.html" }
Citations (may not include all citations):1582 Scheduling algorithms for multiprogramming in a hard real-ti.. - Liu, Layland - 1973
315 Symbolic model checking - an approach to the state explosion.. (context) - McMillan - 1992
299 Model-checking for real-time systems (context) - Alur, Courcourbetis et al. - 1990
184 Automata for modeling real-time systems (context) - Alur, Dill - 1990
116 From ATP to timed graphs and hybrid systems - Nicollin, Sifakis et al. - 1992
97 HyTech: the next generation - Henzinger, Ho et al. - 1995
92 Quantitative temporal reasoning (context) - Emerson, Mok et al. - 1990
84 Another look at LTL model checking - Clarke, Grumberg et al. - 1994
39 MT: a toolset for specifying and analyzing real-time systems (context) - Clements, Heitmeyer et al. - 1993
39 Computing quantitative characteristics of finite-state real-.. - Campos, Clarke et al. - 1994
37 Rate monotonic analysis for real-time systems (context) - Sha, Klein et al. - 1991
30 Timing analysis for fixed-priority scheduling of hard real-t.. (context) - Harbour, Klein et al. - 1994
30 Verus: a tool for quantitative analysis of finite-state real.. - Campos, Clarke et al. - 1995
27 Fixed priority scheduling theory for hard real-time systems (context) - Lehoczky, Sha et al. - 1991
27 Task synchronization in real-time systems (context) - Rajkumar - 1989
[Article contains additional citations not shown here]
Documents on the same site (http://araxa.lecom.dcc.ufmg.br/modcheck/results/publications.html): More
Model Checking Semi-Continuous Time Models Using BDDs - Campos, Teixeira, Minea.. (1999) (Correct)
The Verus Language: Representing Time Efficiently with BDDs - Campos (1997) (Correct)
Symbolic Model Checking in Practice - Campos (1999) (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