FASTEN: an open extensible framework to experiment with formal specification approaches: using language engineering to develop a multi-paradigm specification environment for NuSMV.

Daniel Ratiu, Marco Gario, Hannes Schoenhaar

Browse the full ICSE paper archive.