Skip to main content
To KTH's start page

CoverTranslator - from Haskell to First Order Logic

Speaker: Patrik Jansson, CSE Department, Chalmers University of Technology

Time: Tue 2006-05-02 13.15 - Wed 2013-10-23 13.00

Location: Room 1537

Export to calendar

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.

To the calendar