Tag Archives: compositional reasoning

Hi-Lite team paper at FM 2012

The 18th edition of the International Symposium on Formal Methods organized by Formal Methods Europe will take place at the CNAM in Paris this August. A paper on the work being undertaken by the Hi-Lite team on “Maximal and Compositional Pattern-Based Loop Invariants” will be presented there.

Below is the abstract:

“We present a novel approach for [...]

Posted in Events, Related Initiatives | Also tagged , | Leave a comment
  • Categories

  • Open-DO Projects

  • Contact

    info @ open-do.org