1. Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects

   • Benoît Delahaye
   • Benoît Caillaud
   • Axel Legay

   OriginalPaper 08 December 2010 Pages: 1 - 32

2. Certifying compilers using higher-order theorem provers as certificate checkers

   • Jan Olaf Blech
   • Benjamin Grégoire

   OriginalPaper 21 December 2010 Pages: 33 - 61

3. Bisimulation conversion and verification procedure for goal-based control systems

   • Julia M. B. Braman
   • Richard M. Murray

   OriginalPaper 22 December 2010 Pages: 62 - 95