italiano | contact
PUBLICATION

Finite Horizon Analysis of Markov Chains with the Murphi Verifier

G. Della Penna, B. Intrigila, I. Melatti, E. Tronci, M. Venturini Zilli

12th Advanced Research Working Conference on Correct Hardware Design and Verification Methods, LNCS, pagg. 394-409, 2003

Contact: ,

 
 
 
 

Organization

Head of the department is Prof. Claudio Arbib (since March 1, 2008). The ...

continua ›
 
 
 
 

Publications

Numerous articles published in international scientific journals, books, and ...

continua ›
 
 
 
 

Job Postings

Consulta le offerte di lavoro pervenute dalle aziende, potrai entrare in ...

continua ›