Login / Signup

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

Daniel RatiuMarco GarioHannes Schoenhaar
Published in: FormaliSE@ICSE (2019)
Keyphrases