External Links

    Journal: Formal Methods in System Design

    Volume 38, Issue 1

    1 -- 32Benoît Delahaye, Benoît Caillaud, Axel Legay. Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects
    33 -- 61Jan Olaf Blech, Benjamin Grégoire. Certifying compilers using higher-order theorem provers as certificate checkers
    62 -- 95Julia M. B. Braman, Richard M. Murray. Bisimulation conversion and verification procedure for goal-based control systems
    runs on