research
∙
07/26/2022
Teaching Simple Constructive Proofs with Haskell Programs
In recent years we have explored using Haskell alongside a traditional m...
share
research
∙
08/06/2021
Transformation-Enabled Precondition Inference
Precondition inference is a non-trivial problem with important applicati...
research
∙
11/16/2018
Precondition Inference via Partitioning of Initial States
Precondition inference is a non-trivial task with several applications i...
research
∙
04/17/2018