Nagini
From MaRDI portal
Software:56294
No author found.
Source code repository: https://github.com/marcoeilers/nagini
Related Items (3)
Product programs in the wild: retrofitting program verifiers to check information flow security ⋮ Deductive verification of floating-point Java programs in KeY ⋮ Verifying Whiley programs with Boogie
This page was built for software: Nagini
