Nagini

swMATH40594MaRDI QIDQ56294FDOQ56294

Author name not available (Why is that?)

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

Cited In (3)

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

This page was built for software: Nagini