Publication

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