Space sampling (refinement) - unsat points can be coloured by the amount of constraints they do not sat.

xhajnal / DiPS

Multiple properties Probabilistic systems Model checker

BSD 3-Clause "New" or "Revised" License

4 stars 1 forks source link

Open xhajnal opened 4 years ago

xhajnal commented 4 years ago

This may bring a necessity for tagging constraints as must satisfy

xhajnal commented 4 years ago

by a colour scale from yellow to red