For Periodic Timed Automata Satisfying Real-Time Temporal Logic Formulas Akio ...  Home/Search
Context
Related
| higashi.ist.osaka...te2001nakata.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: higashi.ist.osakau....researche (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A symbolic model checking method for parametric periodic timed automata is proposed. The method derives symbolically the weakest condition for parameters such that the specified control state of a periodic timed automaton satisfies some temporal properties. Unlike several existing parametric symbolic model checking methods, the proposed method is `on-the-fly' --- it does not unnecessarily check all the states. Instead, it traverses some necessary part of the computation tree to derive the... (Update)
Similar documents (at the sentence level):
74.1%: Deriving Parameter Conditions For Periodic Timed Automata.. - Nakata, Higashino (2001) (Correct)
Active bibliography (related documents): More All
0.1: Timing Parameter Characterization of - Real-Time Systems Farn (Correct)
0.1: Parametric Temporal Logic for "Model Measuring" - Alur, Etessami, Torre, Peled (1999) (Correct)
0.1: A Flexible and High-Reliable HW/SW Co-Design Method .. - Kitani, Takamoto.. (2004) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ timed-deriving,
author = "For Periodic Timed",
title = "Deriving Parameter Conditions",
url = "citeseer.ist.psu.edu/743826.html" }
Citations (may not include all citations):1097 Automatic verification of finite state concurrent systems us.. (context) - Clarke, Emerson et al. - 1986
357 Algebraic laws for nondeterminism and concurrency (context) - Hennessy, Milner - 1985 ACM DBLP
268 A theory of timed automata - Alur, Dill - 1994 ACM DBLP
167 Automatic symbolic verification of embedded systems - Alur, Henzinger et al. - 1996 ACM DBLP
102 Symbolic modelchecking: 10 20 states and beyond (context) - Burch, Clarke et al. - 1992
97 Introduction to Automata Theory, Languages and Computation (context) - Hopcroft, Ullman - 1979
75 Parametric real-time reasoning - Alur, Henzinger et al. - 1993 ACM DBLP
38 Symbolic model checking of infinite state systems using pres.. - Bultan, Gerber et al. - 1997 ACM DBLP
30 Action versus state based logics for transition systems (context) - De Nicola, Vaandrager - 1990 ACM DBLP
30 LOTOS-like process algebras with urgent or timed interaction.. (context) - Bolognesi, Lucidi - 1992 ACM DBLP
28 Symbolic bisimulations (context) - Hennessy, Lin - 1995 ACM DBLP
16 Parametric quantitative temporal reasoning - Emerson, Trefler - 1999 ACM DBLP
12 Parametric timing analysis for real-time systems (context) - Wang - 1996 ACM DBLP
Documents on the same site (http://www-higashi.ist.osaka-u.ac.jp/~nakata/research-e.html): More
Time-Action Alternating Model for - Timed Lotos And (Correct)
Protocol Synthesis from Timed and Structured Specifications - Akio Nakata Teruo (1995) (Correct)
Symbolic Bisimulation Checking and Decomposition of Real-Time.. - Nakata (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