MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "New Challenges in Model Checking." – 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

Education
by Alex David Groce, Advisor Edmund Clarke
… Papers Gerard Holzmann, Rajeev Joshi, and Alex Groce. New Challenges in Model Checking. In 25 Years…
Add To MetaCart

Experience
by Alex David Groce
… Groce. New Challenges in Model Checking. 25 Years of Model Checking, pages 65–76, Seattle, Washington…
Add To MetaCart

A symbolic model checker for testing ASTRAL real-time specifications," RTCSA'99
by Zhe Dang, Richard A. Kemmerer — Proc. of RTCSA'99
…. Historydependency brings new challenges into the model checking area. We are not aware of any model checking tool…
Cited by 5 (5 self) – Add To MetaCart

A Symbolic Model Checker for Testing ASTRAL Real-time Specifications
by Zhe Dang Richard, Richard A. Kemmerer — Proc. of RTCSA'99
…. Historydependency brings new challenges into the model checking area. We are not aware of any model checking tool…
Add To MetaCart

Showing 1 through 4.

ATOM

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