attestor
0.4.1
Attestor · A verification tool for model-checking Java pointer programs based on context-free graph grammars.
Attestor · A verification tool for model-checking Java pointer programs based on context-free graph grammars.
Attestor Benchmark Helper · Utility package to specify attestor benchmarks.
Attestor Benchmark Collection · Collection of executable benchmarks for Attestor.