Hacker News new | ask | show | jobs
by based2 3580 days ago
https://en.wikipedia.org/wiki/Design_by_contract

https://coq.inria.fr/about-coq

http://www.adacore.com/adaanswers/about/ada-comparison-chart

http://www.adacore.com/gnatpro/toolsuite/utilities/

https://github.com/lampepfl/dotty

http://www.scalatest.org/getting_started_with_feature_spec

http://etorreborre.github.io/specs2/

http://www.gebish.org/

http://spockframework.github.io/spock/docs/1.1-rc-2/introduc...