Analyzer Component Framework 0.1
Licentie: Gratis Bestandsgrootte: N/A
Gebruikersbeoordeling: 3.7/5 - 3 Stemmen
Een ogenblik geduld... Uw downloadlink wordt geverifieerd op schadelijke inhoud.
Je het binnen 5 seconden downloaden.
Je het binnen 5 seconden downloaden.
Over Analyzer Component Framework
ACF is een kader voor het schrijven van model-checkers. ACF is gebouwd op de fundamentele constatering dat de structuur van de meeste modelcontrolealgoritmen staat los van het formalisme dat wordt gebruikt om het systeem.