formal program verification in python?

Rustom Mody rustompmody at gmail.com
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