Contract Modeling and Verification with FormalSpecs Verifier Tool-Suite - Application to Ansaldo STS Rapid Transit Metro System Use Case.
Marco CarloniOrlando FerranteAlberto FerrariGianpaolo MassaroliAntonio OrazzoLuigi VelardiPublished in: SAFECOMP Workshops (2015)