svpy (pypi): svpy: Software Verification Explained in Python
Keywords: software|verification