Tools:AProVE

From Termination-Portal.org
Revision as of 20:25, 25 May 2014 by Fuhs (talk | contribs) (reference current system description for AProVE at IJCAR 2014)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search


AProVE (Automated Program Verification Environment)