An overview of the Leon verification system: verification by translation to recursive functions.

Rgis Blanc, Viktor Kuncak, Etienne Kneuss, Philippe Suter

Browse the full ECOOP paper archive.