M. Jourdan, F. Maraninchi, A. Olivero  Home/Search
Context Related
| arpont.imag.fr//PEOP...ArgosCAV93.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: arpont.imag.fr//PEOPLE/Fl...CAV93 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . We propose to apply the verification techniques available for Timed Graphs [ACD90], and particularly the symbolic model-checking algorithm of [HNSY92], to the Argos [Mar92] synchronous language. We extend the language with a single delay construct that allows to express watchdogs and timeouts, at any level in the parallel or hierarchic structure of a program. We define the semantics of this extended language in terms of Timed Graphs, and show that it is a "convenient" extension of the... (Update)
Context of citations to this paper: More
.... has been used in verifying specifications written in process algebras, e.g. ATP [18] and in an extension of synchronous language ARGOS [13]. To our knowledge, the mapping presented here is the first one from real time action systems into timed automata. 3 DisCo The DisCo...
.... real time systems modeled in several other process description formalisms, such as Atp [17] Aorta [5] Et lotos [8] and T argos [15]. On the other direction, the tool itself provides an interface to untimed formalisms such as labeled transition systems (LTS) which has...
Cited by: More
Verification of Temporal and Real-Time Properties of Statecharts - Levi (1997) (Correct)
An Automation-Based Design Methodology for Distributed, Hard.. - Puchol (1998) (Correct)
Verifying Real-Time Joint Action Specifications Using.. - Aaltonen, Katara.. (Correct)
Active bibliography (related documents): More All
0.1: Mode-Automata: About Modes and States for Reactive Systems - Maraninchi, Rémond (1998) (Correct)
0.1: A Multiparadigm Language for Reactive Systems - Jourdan, Lagnier, Maraninchi, .. (1994) (Correct)
0.1: Operational and Compositional Semantics of Synchronous.. - Maraninchi (1992) (Correct)
Similar documents based on text: More All
0.4: Static Timing Analysis of Real-Time Systems - Jourdan, Maraninchi (1995) (Correct)
0.4: Integrating Formal Verification Methods of Quantitative Real-Time .. - Jourdan (1995) (Correct)
0.4: Compiling ARGOS into Boolean equations (Extended Abstract) - Maraninchi, Halbwachs (1996) (Correct)
Related documents from co-citation: More All
9: Symbolic model checking for realtime systems - Henzinger, Nicollin et al. - 1992
6: Compiling real-time specifications into extended automata - Nicollin, Sifakis et al. - 1992
6: Theoretical Computer Science (context) - Alur, Dill et al. - 1994
BibTeX entry: (Update)
M. Jourdan, F. Maraninchi, and A. Olivero. Verifying quantitative real-time properties of synchronous programs. In 5th International Conference on Computer-aided Verfication, Elounda, June 1993. LNCS 697, Springer Verlag. http://citeseer.ist.psu.edu/jourdan93verifying.html More
@inproceedings{ jourdan93verifying,
author = "M. Jourdan and Florence Maraninchi and Alfredo Olivero",
title = "Verifying Quantitative Real-Time Properties of Synchronous Programs",
booktitle = "Computer Aided Verification",
pages = "347-358",
year = "1993",
url = "citeseer.ist.psu.edu/jourdan93verifying.html" }
Citations (may not include all citations):457 The ESTEREL Synchronous Programming Language: Design - Berry, Gonthier - 1988
457 The Esterel synchronous programming language: design - Berry, Gonthier - 1992
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
116 From ATP to Timed Graphs and Hybrid Systems - Nicollin, Sifakis et al. - 1991
112 Statecharts : a visual approach to complex systems (context) - Harel - 1987
84 Operational and compositional semantics of synchronous autom.. - Maraninchi - 1992
34 a declarative language for programming synchronous systems (context) - Caspi, Halbwachs et al. - 1987
16 Signal: A Data Flow Oriented Language for Signal Processing (context) - Le Guernic, Benveniste et al. - 1985
1 An experience in compiling a mixed imperative /declarative l.. (context) - Maraninchi, Vachon - 1992
1 Compiling real-time specifications into timed automata (context) - Nicollin, Sifakis et al. - 1992
The graph only includes citing articles where the year of publication is known.
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