Freeboogie Een CODE-verificatie-tool.
Download nu

Freeboogie Rangschikking & Samenvatting

Freeboogie Tags

genereren verifiëren

Freeboogie Beschrijving

FreeBOGIE is een op Java gebaseerd programma dat het Boogie-verificatiesysteem repliceert voor de toepassingen die zijn geschreven met behulp van deze intermediaire taal. Met de toepassing kunt u de verificatie configureren met behulp van opdrachtregelargumenten. U kunt deze tool gebruiken om de programma's in een intermediaire taal te controleren. Het kan de gebeurtenissen inloggen en de gegenereerde verificatievoorwaarden weergeven.

Freeboogie Gerelateerde software