Extending nuXmv with Timed Transition Systems and Timed Temporal Properties.

Alessandro Cimatti, Alberto Griggio, Enrico Magnago, Marco Roveri, Stefano Tonetta

Browse the full CAV paper archive.