A Model Checkable UML Soccer Player.

Valentin Besnard, Ciprian Teodorov, Frdric Jouault, Matthias Brun, Philippe Dhaussy

Browse the full MODELS paper archive.