Author Archives: Johannes Kanig

Boogie Workshop

I recently attended the Boogie workshop on intermediate verification
languages in Wroclaw, Poland.

First let me recall that one goal of the Hi-Lite project is to bring
formal verification to the Ada language. An intermediate verification
language (IVL) can help here because it deals with the most common
features that exist in most programming languages: integers, arrays,
sequential programming, loops, function [...]

Posted in Open-DO News | Leave a comment
  • Categories

  • Open-DO Projects

  • Contact

    info @