analyzer component framework

We have hosted the application analyzer component framework in order to run this application in our online workstations with Wine or directly.

Quick description 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.

Audience: Developers, Other Audience.

Programming Language: C++, Python.
Categories: