Martin Leucker  Home/Search
Context Related
| i2.informatik.rwth...ucker__foata.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: i2.informatik.rwthaachen.d...lit (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . In this paper, we present a framework for specifying and verifying an important class of hardware systems. These systems are build up from a parallel composition of circuits switching by a global clock. They can equivalently be characterised by Petri nets with a maximal step semantics. As a semantic model for these systems we introduce Distributed Synchronous Transition Systems (DSTS) which are distributed transition systems with a global clock synchronising the executions of actions.... (Update)
Context of citations to this paper: More
...a global clock. Another model are Petri nets supplied with a maximal step semantics [Muk92] The approach was partly introduced in [Leu00] The idea underlying this model is somehow a reinforcement of the true concurrency approach. If two actions a and b are supposed to occur...
Cited by: More
Logics for Mazurkiewicz Traces - Leucker (2002) (Correct)
Active bibliography (related documents): More All
0.2: Hardware Support for Profiling Java Programs - Hanish, Cohen (Correct)
0.2: Portable High-Performance Programs - Frigo (1999) (Correct)
0.2: Local Parallel Model Checking for the Alternation Free.. - Bollig, Leucker, Weber (2001) (Correct)
Similar documents based on text:
0.0: Free Partially Commutative Semigroups In Band Varieties - Kunc (2000) (Correct)
Related documents from co-citation: More All
2: Logical definability on infinite traces - Ebinger, Muscholl - 1993
2: An algorithmic approach for checking closure properties of temporal logic specif.. - Peled, Wilke et al. - 1998
2: modular decision procedure for LTrL (context) - Gastin, Meyer et al. - 1998
BibTeX entry: (Update)
M. Leucker. On model checking synchronised hardware circuits. In J. He and M. Sato, editors, Proceedings of the 6th Asian Computing Conference (ASIAN'00), volume 1961 of Lecture Notes in Computer Science, pages 182--198, Penang, Malaysia, November 2000. Springer. http://citeseer.ist.psu.edu/article/leucker00model.html More
@inproceedings{ leucker00model,
author = "Martin Leucker",
title = "On model checking synchronised hardware circuits",
booktitle = "Proceedings of the 6th Asian Computing Conference ({ASIAN'00})",
volume = "1961",
publisher = "Springer",
address = "Penang, Malaysia",
editor = "Jifeng He and Masahiko Sato",
pages = "182--198",
year = "2000",
url = "citeseer.ist.psu.edu/article/leucker00model.html" }
Citations (may not include all citations):1180 The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1992
216 Theoretical Computer Science (context) - Milner, synchrony - 1983
202 International Series in Computer Science (context) - Milner, Concurrency - 1989
128 An Automata-Theoretic Approach to Linear Temporal Logic - Vardi - 1996
112 LUSTRE: A declarative language for programming synchronous s.. (context) - Caspi, Pilaud et al. - 1987
55 Automata on innite objects (context) - Thomas - 1990
42 Theoretical Computer Science (context) - Brzozowski, Leiss et al. - 1980
38 World Scientic (context) - Diekert, Rozenberg et al. - 1995
27 Ten years of partial order reduction (context) - Peled - 1998
22 A trace consistent subset of PTL (context) - Thiagarajan - 1995
11 Notes on nite asynchronous automata (context) - Zielonka - 1987
10 Distributed versions of linear time temporal logic: A trace .. - Thiagarajan, Henriksen - 1998
10 and Larry J (context) - Chandra, Kozen - 1981
5 a verication platform for concurrent systems (context) - Lange, Leucker et al. - 1999
4 User's Manual (context) - editor, TM - 1993
2 Technical Report TR (context) - Diekert, etivier et al. - 1996
2 Using asynchronous buchi automata for ecient model-checking .. (context) - Peled, Penczek - 1995
1 Berlin Heidelberg New York Tokyo (context) - Reisig, Springer-Verlag - 1986
Documents on the same site (http://www-i2.informatik.rwth-aachen.de/leucker/Literatur/lit.html): More
Implementation of an Efficient Parallel BDD Package - Stornetta (1995) (Correct)
Composing the user interface with Haggis - Finne, Jones (1996) (Correct)
Model Checking and Other Games - Stirling (1996) (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