research
∙
08/06/2021
Transformation-Enabled Precondition Inference
Precondition inference is a non-trivial problem with important applicati...
share
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
An iterative approach to precondition inference using constrained Horn clauses
We present a method for automatic inference of conditions on the initial...
research
∙
01/16/2014