MyGForge > Projects > Bandera Environment Generator

General Sections

Activity

Description
Bandera Environment Generator (BEG) enables modular model checking of Java fragments by generating universal environment models, synthesizing models from user specs, or extracting models from environment implementation.
Developer Info
Matt Dwyer
Trove Categorization
Not categorized in trove map yet

MyGforge Home