JML, per il controllo dei programmi java statico e a runtime

[Lucked]

Ciao a tutti, mi stavo interessando a JML. Qualcuno di voi, lo usa? vorrei provare a fare qualche esempietto stupido. Mi sapreste dare una mano?

[Lucked]

questo esempio, qua: http://it.wikipedia.org/wiki/Java_Modelling_Language
su wikipedia sarebbe bello da provare..