Indexed Artifacts (13.7M)

Popular Categories

A verification tool for model-checking Java pointer programs based on context-free graph grammars.

LicenseGPL 3.0
Used By1 artifacts

VersionRepositoryUsagesDate
0.4.x
0.4.0Central1Feb, 2019
0.3.x
0.3.8Central1Mar, 2018
0.3.5-SEFM2018Central1Mar, 2018
0.3.1Central1Feb, 2018