AsmetaComp: A Tool for Runtime Contract Checking with I/O Abstract State Machines.

Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra

Browse the full FORTE paper archive.