GNATprove

swMATH14069MaRDI QIDQ25978FDOQ25978

Author name not available (Why is that?)

Official website: http://www.open-do.org/projects/hi-lite/gnatprove/

Cited In (3)

• Verifying the conversion into CNF in dafny
• Building high integrity applications with SPARK
• Loop verification with invariants and contracts

This page was built for software: GNATprove