JBernstein for Mac

298 KB   128 downloads
0.3 R6 100% FREE LGPL    
  not rated
Java application to explore techniques for non-linear constraint checking

description

download

specifications

JBernstein is an application that allows its users to check if a polynomial constraint holds for all variables within their domain.

JBernstein can be used to verify the synthesis of cyber-physical systems where models are non-linear.

JBernstein is developed using the Java programming language and can be run on Mac OS X, Windows and Linux.
READ MORE   
Last updated on April 4th, 2013
3  
JBernstein - In the main window of the application you can specify the variables and coefficients.JBernsteinJBernstein

top FREE alternatives

0 User reviews so far.

SUBMIT