Hakan Erdogmus Institute for Information Technology/Software Engineering...  Home/Search
Context Related
| spinroot.com/spin/Worksh...erdogmus.pdf 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: spinroot.com/spin/Worksh...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Introduction is an experimental verification system based on version 1.5.7. is a general verification tool for proving correctness properties of concurrent/distributed systems specified in the CSP-like modeling language [8, 9]. This extended abstract describing the system and its foundations assumes familiarity with Promela/Spin. system extends with `limited' semantic relation checking capability implemented in terms of a new option, -e, whose usage is given below: spine... (Update)
Context of citations to this paper: More
...traced [8] Testing equivalence is not yet implemented in Spine. For more details about the Spine tool, the reader is referred to [21, 23, 22]. To support relation checking it was necessary to extend the syntax of Promela. The new syntax allows a channel to be declared as an...
.... for this relation the corresponding transformation and the underlying local relation are more complex than those for trace equivalence; see [11] for details. Likewise, many other extended trace relations can also be formulated as an inductive relation using the WPS model. For a...
Cited by: More
Formal Verification Based on Relation Checking in SPIN.. - Erdogmus, Johnston.. (1995) (Correct)
Architecture-Driven Verification of Concurrent Systems - Erdogmus (1997) (Correct)
Architectural Specifications, Proof Obligations, and Decomposition - Erdogmus (Correct)
Similar documents (at the sentence level):
61.9%: Verifying Semantic Relations in SPIN - Erdogmus (1995) (Correct)
Active bibliography (related documents): More All
0.2: On the Operational Semantics of Nondeterminism and.. - Erdogmus, Johnston.. (1996) (Correct)
0.1: Derivation of Proof Obligations from Architectural Specifications - Erdogmus (Correct)
0.0: Conformance relation, associated equivalence, and minimum.. - Leduc (1991) (Correct)
Similar documents based on text: More All
0.3: Management Of License Cost Uncertainty In Software Development.. - Erdogmus (2001) (Correct)
0.3: Quantitative Approaches for Assessing the Value of.. - Erdogmus, Vandergraaf (1999) (Correct)
0.3: Management Of License Cost Uncertainty In COTS-Based Software.. - Erdogmus (Correct)
Related documents from co-citation: More All
6: Context-Dependent Bisimulation Between Processes (context) - Larsen - 1986
5: the Role of Implementation Relations in the Design of Distributed Systems Using .. (context) - Leduc - 1990
5: Verifying bisimulation on the fly - Fernandez, Mounier - 1990
BibTeX entry: (Update)
Hakan Erdogmus. Verifying semantic relations in SPIN. In Gr'egoire [Gr'e95]. http://citeseer.ist.psu.edu/691496.html More
@misc{ erdogmus-verifying,
author = "H. Erdogmus",
title = "Verifying semantic relations in SPIN",
text = "Hakan Erdogmus. Verifying semantic relations in SPIN. In Gr'egoire [Gr'e95].",
url = "citeseer.ist.psu.edu/691496.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989
502 Concurrency and automata for infinite sequences (context) - Park - 1981
299 Algebraic Theory of Processes (context) - Hennessy - 1988
149 Testing equivalences for processes (context) - De Nicola, Hennessy - 1984
136 Information and Computation (context) - Kannellakis, Smolka et al. - 1990
108 Combining partial order reductions with on-the-fly model che.. (context) - Peled - 1994
81 The linear time -- branching time spectrum (context) - van Glabbeek - 1990
27 Computer Networks and ISDN Systems (context) - Holzmann, validation et al. - 1993
24 the Role of Implementation Relations in the Design of Distri.. (context) - Leduc - 1991
23 Extensional equivalences for transition systems (context) - De Nicola - 1987
22 Basic spin manual - Holzmann - 1994
21 Algorithms for automated protocol validation - Holzmann - 1990
8 Validating simulations between large nondeterministic specif.. (context) - Civalero, Jonsson et al. - 1993
6 A Flexible Framework for the Design of Concurrent Nondetermi.. (context) - Erdogmus - 1993
5 World problems requiring exponential time (context) - StockmeyerandA, Meyer - 1973
2 Theoretical Computer Science (context) - Fournier, von Bochmann et al. - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://spinroot.com/spin/Workshops/ws95/papers.html): More
Interactive Timed Simulation of Distributed Systems - From.. - Marco Daniele (Correct)
Checking Linear Temporal Logic Properties - Doron Peled (Correct)
Process Control Design Using SPIN - Thierry Cattel Laboratoire (1995) (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