MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "The SH-Verification Tool." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

6 documents found, showing 1 through 6.

ATOM

The SH-Verification Tool
by Peter Ochsenschläger — 2000 — In Proc. 13th International FLorida Artificial Intelligence Research Society Conference (FLAIRS-2000
…The SH-Verification Tool Peter Ochsenschläger and Jürgen Repp and Roland Rieke SIT – Institute…
Cited by 7 (4 self) – Add To MetaCart

The SH-Verification Tool - Abstraction-Based Verification of Co-operating Systems
by P. Ochsenschläger, J. Repp, R. Rieke, U. Nitsche — 1999
…Formal Aspects of Computing (1998) 3: 1{000 c 1998 BCS The SH-Veri cation Tool | Abstraction…
Cited by 14 (8 self) – Add To MetaCart

Publication List
by U. Nitsche, P. Ochsenschlager, Zwischenbericht Gmd-/telekom-projekts Formale
…. [34] U. Nitsche, P. Ochsenschlager, J. Repp, and R. Rieke. The SH-verification tool. In Proceedings…
Add To MetaCart

Verification of Cooperating Systems – An Approach Based on Formal Languages
by Peter Ochsenschläger — 2000 — In Proc. 13th International FLorida Artificial Intelligence Research Society Conference (FLAIRS-2000
…. The presented verification method is supported by the sh-verification tool (Ochsenschläger, Repp, Rieke 1999…
Cited by 1 (1 self) – Add To MetaCart

Security analysis of (un-) fair non-repudiation protocols
by Sigrid Gürgens, Carsten Rudolph — 2003 — Formal Aspects of Security
… for cooperating systems [9]. It “naturally” emerges from formal language theory [8]. APA are supported by the SH-verification…
Cited by 6 (1 self) – Add To MetaCart

Questions and Answers about Ten Formal Methods
by Pieter Hartel, Michael Butler, Andrew Currie, Peter Henderson, Michael Leuschel, Andrew Martin, Adrian Smith, Ulrich Ultes-Nitsche, Bob Walters — 1999 — In Proc. 4th Int. Workshop on Formal Methods for Industrial Critical Systems
… or an exhaustive search of its states is required. Product-nets The Product Net Machine (PNM) [29] and the SH-Verification…
Cited by 11 (6 self) – Add To MetaCart

Showing 1 through 6.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB