Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
repo1.maven.org : de.rwth.i2:attestor
A verification tool for model-checking Java pointer programs based on context-free graph grammars.
Registry
-
Source
- Homepage
- Documentation
- JSON
purl: pkg:maven/de.rwth.i2/attestor
Keywords: heap, model-checking, research, static-analyzer, static-code-analysis
License: GPL-2.0
Latest release: over 4 years ago
First release: over 6 years ago
Namespace: de.rwth.i2
Dependent packages: 1
Dependent repositories: 1
Stars: 9 on GitHub
Forks: 4 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 9 days ago