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.
Categories
Scientific/EngineeringLicense
GNU General Public License version 2.0 (GPLv2)Follow Analyzer Component Framework
You Might Also Like
PMG is a low-code software platform that allows users to configure automation solutions and business applications to drive digital transformation initiatives. From streamlining business processes through automation, to integrating existing systems and filling in point solution functionality gaps, to delivering a collaborative workspace and unified user experience – PMG’s low-code platform does it all without coding. Business users as well as IT resources are empowered to configure, deploy, and maintain solutions that meet their company’s specific needs.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of Analyzer Component Framework!