Parallel model checking using abstraction
Details
Event
To be presented at the 19th International SPIN Workshop on Model Checking of Software
Authors
Zhou, Rong
Additional information
Focus Areas
Our work is centered around a series of Focus Areas that we believe are the future of science and technology.
Licensing & Commercialization Opportunities
We’re continually developing new technologies, many of which are available for Commercialization.
News
PARC scientists and staffers are active members and contributors to the science and technology communities.