Analyzer Component Framework 0.1
License: Free File size: N/A
Users Rating: 3.7/5 - 3 votes
Please wait ... Your download link is being verified for malicious content.
You'll be able to download in 5 seconds.
You'll be able to download in 5 seconds.
ABOUT Analyzer Component Framework
ACF is a framework for writing model-checkers. ACF is built on the fundamental observation that the structure of most model-checking algorithms is independent of the formalism used to describe the system.