GNATprove

swMATH14069MaRDI QIDQ25978FDOQ25978

Author name not available (Why is that?)

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

Cited In (7)

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

This page was built for software: GNATprove