JBernstein: Exploration techniques for non-linear constraint checking JBernstein 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

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