Nagini

MaRDI QIDQ56294swMATHFDO

Official website https://link.springer.com/chapter/10.1007/978-3-319-96145-3_33

Source code repository https://github.com/marcoeilers/nagini

Cited in

(8)

• Deductive verification of floating-point Java programs in KeY
• Product programs in the wild: retrofitting program verifiers to check information flow security
• VerCors
• BVD
• RVT
• Pyston
• Starkiller
• Verifying Whiley programs with Boogie

This page was built for software: Nagini