JBernstein Icon

JBernstein

alpha

JBernstein: Exploration techniques for non-linear constraint checking

Add a Review
0 Downloads (This Week)
Last Update:
Download JBernstein_v_0_3r7.zip
Browse All Files
Windows BSD Mac Linux

Screenshots

Description

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-physical systems where the system model is nonlinear. The tool also supports specifications in assume-guarantee style.

The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. Concerning performance, the tool enables to check all examples in the PVS Bernstein testsuite within a second, which can be an order of magnitude faster than some other tools such as QEPCAD or REDLOG.

Although JBernstein uses double, it offers automatic error-estimation capabilities (experimental) so that the generated result is correct (the solver may return unknown when the error-estimate is too large)

JBernstein Web Site

KEEP ME UPDATED

Other Useful Business Software

Resolve IT tickets faster with Snagit Icon

Snagit® - Powerful Screen Capture and Screen Recorder Software - Winner of G2 Crowd Best Software for Business Operations Teams 2017

Resolve IT tickets faster with Snagit Icon
Snagit’s image and video capture is powerful, but not complex. All-in-One Capture® grabs your entire desktop, a region, a window, or a scrolling window from any webpage or application—-all with a single hotkey or click. Snagit gives you a simple way to edit. Show a complex process, give detailed feedback, or share important information with the people who need it most. Download your free trial now!
Write a Review

User Reviews

Be the first to post a review of JBernstein!

Additional Project Details

Intended Audience

Aerospace, Information Technology, Science/Research, Engineering

User Interface

Java SWT

Programming Language

Java

Registered

2013-01-02

Thanks for helping keep SourceForge clean.

Screenshot instructions:
Windows
Mac
Red Hat Linux   Ubuntu

Click URL instructions:
Right-click on ad, choose "Copy Link", then paste here →
(This may not be possible with some types of ads)

More information about our ad policies
X

Briefly describe the problem (required):

Upload screenshot of ad (required):
Select a file, or drag & drop file here.

Please provide the ad click URL, if possible:

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.

No, thanks