1. Performability assessment by model checking of Markov reward models

   • Christel Baier
   • Lucia Cloth
   • Joost-Pieter Katoen

   OriginalPaper 18 March 2010 Pages: 1 - 36

2. Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols

   • Xiaofang Chen
   • Yu Yang
   • Ching-Tsun Chou

   OriginalPaper 24 March 2010 Pages: 37 - 64

3. Pushdown module checking

   • Laura Bozzelli
   • Aniello Murano
   • Adriano Peron

   OriginalPaper 23 March 2010 Pages: 65 - 95