python-liv (pypi): Generating verification conditions out of C programs.
Keywords: verification|validation