Giuseppe Della Penna :: Bibliography ▷ CMurphi

Filtered for keywords: cmurphi reset

2010

Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli, Ester Ciancamerla, Michele Minichino and Alberto Tofani:
Automatic Verification of Hybrid System Controllers with the CMurphi Verifier International Journal of Discrete Event Control Systems 1(1) : 69-82 (2010) control cmurphi

2007

Fernando Brizzolari, Igor Melatti, Enrico Tronci and Giuseppe Della Penna:
Disk Based Software Verification via Bounded Model Checking. APSEC 2007: 358-365 https://doi.org/10.1109/APSEC.2007.43 cmurphi model checking

2006

Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci and Marisa Venturini Zilli:
Finite horizon analysis of Markov Chains with the Murphi verifier. Int. J. Softw. Tools Technol. Transf. 8(4-5) : 397-409 (2006) https://doi.org/10.1007/s10009-005-0216-7 cmurphi model checking

2005

Giuseppe Della Penna, Igor Melatti, Benedetto Intrigila and Enrico Tronci:
Exploiting Hub States in Automatic Verification. ATVA 2005: 54-68 https://doi.org/10.1007/11562948_7 model checking cmurphi

2004

Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci and Marisa Venturini Zilli:
Exploiting transition locality in automatic verification of finite-state concurrent systems. Int. J. Softw. Tools Technol. Transf. 6(4) : 320-341 (2004) https://doi.org/10.1007/s10009-004-0149-6 model checking cmurphi
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci and Marisa Venturini Zilli:
Bounded Probabilistic Model Checking with the Murφ Verifier FMCAD 2004: 214-229 https://doi.org/10.1007/978-3-540-30494-4_16 cmurphi model checking

2003

Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci and Marisa Venturini Zilli:
Integrating RAM and Disk Based Verification within the Murphi Verifier. CHARME 2003: 277-282 https://doi.org/10.1007/978-3-540-39724-3_25 model checking cmurphi
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci and Marisa Venturini Zilli:
Finite Horizon Analysis of Markov Chains with the Murphi Verifier. CHARME 2003: 394-409 https://doi.org/10.1007/978-3-540-39724-3_34 model checking cmurphi
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Michele Minichino, Ester Ciancamerla, Andrea Parisse, Enrico Tronci and Marisa Venturini Zilli:
Automatic Verification of a Turbogas Control System with the Murphi Verifier. HSCC 2003: 141-155 https://doi.org/10.1007/3-540-36580-X_13 model checking cmurphi control
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci and Marisa Venturini Zilli:
Finite Horizon Analysis of Stochastic Systems with the Murphi Verifier. ICTCS 2003: 58-71 https://doi.org/10.1007/978-3-540-45208-9_6 model checking cmurphi
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci and Marisa Venturini Zilli:
Finite Horizon Analysis of Stochastic Systems with the Murphi Verifier Theoretical Computer Science. ICTCS 2003 2003 https://doi.org/10.1007/978-3-540-45208-9_6 cmurphi model checking
Benedetto Intrigila, Giuseppe Della Penna and Daniela Ciccomartino:
Extending Boerger's JVM Model to Compile Safe C++ Code: The Pointers' Problem Abstract State Machines - Theory and Applications: International Workshop 2003 cmurphi model checking

2002

Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci and Marisa Venturini Zilli:
Exploiting Transition Locality in the Disk Based Murphi Verifier. FMCAD 2002: 202-219 https://doi.org/10.1007/3-540-36126-X_13 model checking cmurphi

2001

Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila and Marisa Venturini Zilli:
A Probabilistic Approach to Automatic Verification of Concurrent Systems. APSEC 2001: 317-324 https://doi.org/10.1109/APSEC.2001.991495 cmurphi model checking
Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila and Marisa Venturini Zilli:
Exploiting Transition Locality in Automatic Verification. CHARME 2001: 259-274 https://doi.org/10.1007/3-540-44798-9_22 model checking cmurphi