JBernstein iconJBernstein 0.3 R6

Java application to explore techniques for non-linear constraint checking
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.

last updated on:
April 4th, 2013, 10:57 GMT
file size:
298 KB
price:
FREE!
developed by:
Chihhong Cheng
license type:
LGPL 
operating system(s):
Mac OS X
binary format:
-
category:
Home \ Math/Scientific

FREE!

In a hurry? Add it to your Download Basket!

user rating

UNRATED
0.0/5
 

0/5

3 Screenshots
JBernstein - In the main window of the application you can specify the variables and coefficients.JBernsteinJBernstein

Add your review!

SUBMIT