Nagini: A Static Verifier for Python.

Marco Eilers Peter Müller

Published in: CAV (1) (2018)

Keyphrases

open source
programming language
end users
open source software
data sets
artificial intelligence
search algorithm
special case
object oriented
software engineering
object oriented programming
graphical user interface
development tools
scripting language