Juggrnaut

MaRDI QIDQ25324swMATHFDO

Official website http://www-i2.informatik.rwth-aachen.de/i2/juggrnaut/

Described by source

• Juggrnaut: using graph grammars for abstracting unbounded heap structures

Cited in

(2)

• Verification of heap manipulating programs with ordered data by extended forest automata
• Attestor

This page was built for software: Juggrnaut