JAss est obsolète mais je le garde pour mémoire. Maintenant Java gère bien les assertions tout seul.

[[http://csd.informatik.uni-oldenburg.de/%7Ejass/index.html|jass]], comme ''Java with assertions'' {{ prog:old:jass:jass_web.tar.xz |Archive site web}}

{{ prog:old:jass:jass-2.0.14.jar |Archive JAss v2.0.14}} (obsolète)

{{ prog:old:jass:jass-3.svn20060418.jar |Archive JAss v3}} (obsolète, 2006)

{{ prog:old:jass:jass.modern.core-20070519.jar |Archive Modern JAss}} (2007), [[http://modernjass.sourceforge.net/|Site web]], {{ prog:old:jass:modernjass_web.tar.xz |Archive site web}}