JBernstein: Exploration techniques for non-linear constraint checkingJBernstein is a tool implemented in Java that enables to check whether a polynomial constraint holds for all variables within their domain. It is mainly used in the verification or synthesis of cyber- | |
Download |
JBernstein: Exploration techniques for non-linear constraint checking Ranking & Summary
Advertisement
JBernstein: Exploration techniques for non-linear constraint checking Tags
JBernstein: Exploration techniques for non-linear constraint checking Description
JBernstein: Exploration techniques for non-linear constraint checking Related Software