Nagini

swMATH40594MaRDI QIDQ56294FDOQ56294

Author name not available (Why is that?)

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)

• 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
• VerCors
• BVD
• RVT
• Pyston
• Starkiller

This page was built for software: Nagini