Trio2Promela: A Model Checker for Temporal Metric Specifications

Domenico Bianculli, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini. Trio2Promela: A Model Checker for Temporal Metric Specifications. In 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, Companion Volume. pages 61-62, IEEE Computer Society, 2007. [doi]

Abstract

Abstract is missing.