MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Automatic Verification of Finite-State Concurrent Systems" – sorted by Relevance.

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

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

12 documents found, showing 1 through 10. Next 10 →

ATOM

Automatic verification of finite-state concurrent systems using temporal logic specifications
by E. M. Clarke, E. A. Emerson, A. P. Sistla — 1986 — ACM Transactions on Programming Languages and Systems
…Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications E. M…
Cited by 985 (56 self) – Add To MetaCart

The NCSU Concurrency Workbench
by Rance Cleaveland, Steve Sims — 1996
… Introduction The NCSU Concurrency Workbench (NCSU-CWB) [1] supports the automatic verification of finite-state…
Cited by 135 (23 self) – Add To MetaCart

On the Complexity of the linear-time μ-Calculus for Petri Nets
by Peter Habermehl — 1997
… theory for automatic verification of finite state concurrent systems. Recently, the problem of extending…
Cited by 2 (0 self) – Add To MetaCart

unknown title
by P. Wolper, P. Godefroid, R. Gerth, R. Kuiper, D. Peled, W. Pencz
…, 233-246. 23 [3] E.M. Clarke, E.A. Emerson, A.P. Sistla, Automatic Verification of Finite State…
Add To MetaCart

unknown title
by unknown authors
… of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming…
Add To MetaCart

DEMOS at CONCUR96
by Corrado Priami (Ed.), Corrado Priami, Eike Best, Burkhard Bieber, Bernd Grahlmann — 1996
… Introduction The NCSU Concurrency Workbench (NCSU-CWB) [1] supports the automatic verification of finite-state…
Add To MetaCart

Reasoning about Systems with Many Processes
by Stevenm German, A. Prasad Sistla — 1992 — Journal of the ACM
…. Introduction Automatic verification of finite-state concurrent systems has recently been an active area…
Cited by 101 (2 self) – Add To MetaCart

Validation, Verification and Implementation of Timed Protocols Using AORTA
by Steven Bradley, William Henderson, David Kendall, Adrian Robson — 1995 — Proceedings of the Fifteenth International Symposium on Protocol Specification, Testing and Verification
… Graphs and Verification Approaches to the automatic verification of finite-state concurrent systems have…
Cited by 4 (2 self) – Add To MetaCart

Automatic Verification of Hybrid Systems: An Audio Control Protocol
by Luis Ricardo Sierra Abbate
…. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans…
Add To MetaCart

Utilizing Symmetry when Model Checking under Fairness Assumptions
by E.A. Emerson, A. P. Sistla — 1997 — ACM Transactions on Programming Languages and Systems
… in the automatic verification of finite state concurrent systems. One of the techniques that has been proposed [12…
Cited by 58 (15 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB