Issue 1/2011
Content (3 Articles)
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
Certifying compilers using higher-order theorem provers as certificate checkers
Jan Olaf Blech, Benjamin Grégoire
Bisimulation conversion and verification procedure for goal-based control systems
Julia M. B. Braman, Richard M. Murray