MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Verification of Systems with an Infinite State Space." – sorted by Relevance.

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

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

4 documents found, showing 1 through 4.

ATOM

Symbolic Model Checking for Real-time Systems
by Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine — 1992 — Information and Computation
…, symbolic methods can be applied to the verification of systems with an infinite state space even…
Cited by 407 (48 self) – Add To MetaCart

Decidability and complexity of Petri net problems - an Introduction
by Javier Esparza — 1998 — In Lectures on Petri Nets I: Basic Models
… success to the verification of systems with infinite state spaces. They use heuristics to try to solve…
Cited by 48 (3 self) – Add To MetaCart

Weak Bisimulation and Model Checking for Basic Parallel Processes
by Richard Mayr — 1996 — IN FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE (FST&TCS'96), VOLUME 1180 OF LNCS
… verified. Thus they are applicable to the verification of systems with infinite-state spaces. The algorithm…
Cited by 16 (9 self) – Add To MetaCart

Model Checking PA-Processes
by Richard Mayr — 1997 — In International Conference on Concurrency Theory (CONCUR'97), volume 1243 of LNCS
… verified. Therefore this method is applicable for the verification of systems with infinite state spaces…
Cited by 6 (5 self) – Add To MetaCart

Showing 1 through 4.

ATOM

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