Validation of contracts using enabledness preserving finite state abstractions.

Guido de Caso, Vctor A. Braberman, Diego Garbervetsky, Sebastin Uchitel

Browse the full ICSE paper archive.