Home » de.rwth.i2 » attestor

Attestor

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

LicenseGPL 3.0
Ranking#219979 in MvnRepository (See Top Artifacts)
Used By1 artifacts

VersionVulnerabilitiesRepositoryUsagesDate
0.4.x
0.4.1Central
1
Oct 28, 2019
0.4.0Central
1
Feb 03, 2019
0.3.x
0.3.8Central
1
Mar 22, 2018
0.3.5-SEFM2018Central
1
Mar 08, 2018
0.3.1Central
1
Feb 05, 2018