/gomela-ase21

The tool-chain implemented as part of paper "Automated Verification of Go Programs via Bounded Model Checking"

Primary LanguagePromelaMIT LicenseMIT

Watchers