CMurphi is an open source model checker focusing on the automatic verification of safety properties of protocols, concurrent systems, discrete time hybrid systems.
CMurphi / Giuseppe Della, Penna; Benedetto, Intrigila; Melatti, Igor; Tronci, Enrico; Zilli, Marisa. - ELETTRONICO. - (2004).
CMurphi
MELATTI, IGOR;TRONCI, Enrico;ZILLI, Marisa
2004
Abstract
CMurphi is an open source model checker focusing on the automatic verification of safety properties of protocols, concurrent systems, discrete time hybrid systems.File allegati a questo prodotto
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
