In recent years we have explored using Haskell alongside a traditional
m...
Precondition inference is a non-trivial problem with important applicati...
Precondition inference is a non-trivial task with several applications i...
We present a method for automatic inference of conditions on the initial...