Leon Documentation

Contents

Index

Table Of Contents

Introduction
Getting Started
Installing Leon
Tutorial: Sorting
Pure Scala
Leon Library
XLang
Verification
Resource Verification
Proving Theorems
Isabelle
Limitations of Verification
Synthesis
Repair
Safe C Code
Command Line Options
Frequently Asked Questions
References

© Copyright 2015 (alphabetically) by M. Antognini, R. Blanc, S. Gruetter, L. Hupel, E. Kneuss, M. Koukoutos, V. Kuncak, R. Madhavan, S. Stucki, P. Suter. Last updated on May 25, 2017.