From Informal Requirements to Property-Driven Formal Validation.

Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta

Browse the full FMICS paper archive.