Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects Benoît DelahayeBenoît CaillaudAxel Legay OriginalPaper 08 December 2010 Pages: 1 - 32
Certifying compilers using higher-order theorem provers as certificate checkers Jan Olaf BlechBenjamin Grégoire OriginalPaper 21 December 2010 Pages: 33 - 61
Bisimulation conversion and verification procedure for goal-based control systems Julia M. B. BramanRichard M. Murray OriginalPaper 22 December 2010 Pages: 62 - 95