Trio2Promela: A Model Checker for Temporal Metric Specifications.

Domenico Bianculli, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini

Browse the full ICSE paper archive.