Towards an Extensible Architecture and Tool Support for Model-Based Verification.

David Delgado, Lola Burgueo, Javier Cmara, Javier Troya

Browse the full MODELS paper archive.