CoverTranslator - from Haskell to First Order Logic
Speaker: Patrik Jansson, CSE Department, Chalmers University of Technology
Tid: Ti 2006-05-02 kl 13.15 - On 2013-10-23 kl 13.00
Plats: Room 1537
Speaker: Patrik Jansson
Abstract:
The Cover project at Chalmers has been developing systems (theories, languages, libraries and tools) for software verification of Haskell programs. I will give a quick overview of the Cover project and present CoverTranslator in a little more detail. The translator takes as input Haskell programs with properties (defined in an embedded language), translates these into first order clauses and uses off-the-shelf FOL provers to prove the properties.