add classic assertion to the problem
add classic assertion to the problem
Z3 boolean expression
add a safety assertion to the problem
add a safety assertion to the problem
safety requirement
Extract the substitution choice from a model
Extract the substitution choice from a model
model of the substitution variables
the chosen alternatives on system's components
Lazy integration of the Safety theory to solve DSE problem
Lazy integration of the Safety theory to solve DSE problem
use clause minimisation for problem solving
the solution if exists
Solver object handling classic Z3 Boolean assertions and custom Safety assertions