Searching for "Model Checking Without a Model An Analysis of the Heart-Beat Monitor of a Telephone Switch Using VeriSoft." – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch using
by Patrice Godefroid, Patrice Godefroid, Robert S. Hanmer, Robert S. Hanmer, Lalita Jategaonkar Jagadeesan, Lalita Jategaonkar Jagadeesan — 1998 — In Proc. ACM International Symposium on Software Testing and Analysis (ISSTA'98
… Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch using VeriSoft Patrice…
Cited by 18 (5 self) – Add To MetaCart

Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch using
by Software Testing And, Patrice Godefroid, Robert S. Hanmer, Lalita Jategaonkar Jagadeesan — 1998 — In Proc. ACM International Symposium on Software Testing and Analysis (ISSTA'98
…Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch using…
Add To MetaCart

Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch using
by Patrice Godefroid Bell, Robert S. Hanmer, Lalita Jategaonkar Jagadeesan — 1998 — In Proc. ACM International Symposium on Software Testing and Analysis (ISSTA'98
…Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch using…
Add To MetaCart

Showing 1 through 3.

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