Categories
Open-DO Projects
Contact
info @ open-do.org
A “Lighter” Introduction to Hi-Lite
The recently launched project Hi-Lite is based on powerful industrial tools that have been developed by the different partners for the last 10 to 25 years. This means in particular that it is not obvious to grasp the “vision” of Hi-Lite without knowing how all these tools work. To share this vision as broadly as possible, we have come up with a “light” (one may even say humorous) introduction to Hi-Lite in which we describe the application of the various tools and techniques that are part of Hi-Lite to a very simple program.
This entry was posted in Open-DO News and tagged CodePeer, Frama-C, Hi-Lite, SPARK, tutorial. Bookmark the permalink. Post a comment or leave a trackback: Trackback URL.