Searching for "New Challenges in Model Checking." – sorted by Relevance.
-
Education
- Papers Gerard Holzmann, Rajeev Joshi, and Alex Groce. New Challenges in Model Checking. In 25 Years
- Add To MetaCart
-
Experience
- 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
- . 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
- . Historydependency brings new challenges into the model checking area. We are not aware of any model checking tool
- Add To MetaCart

