formal program verification in python?

Rustom Mody rustompmody at
Mon Oct 20 15:07:33 CEST 2014

A colleague asked me if there were any formal program
verification (or derivation) books which are python based.
Sometimes known as 'Hoare/Dijkstra logic'

I would be pleasantly surprised if there are!
Still... In case anyone knows of any

More information about the Python-list mailing list