Welcome to your wiki!
This is the default page, edit it as you see fit. To add a new page simply reference it within brackets, e.g.: [SamplePage].
The wiki uses Markdown syntax.
Release note (Version 0.2)
* Enable error-estimate due to imprecision of double.
* Enable precise derivation for counter-examples.
Perform bug fix in error-estimation.
Release note (Version 0.3)
1. Precise error estimation following the text in the working draft.
2. Users can now directly select "automatic error estimation" rather than picking an error-estimate themselves.
Release note (ver0.3; revision 2)
Fix input reading problem in assume-guarantee style specifications.
Release note (ver0.3; revision 3)
Fix input spacing problem in assume-guarantee style specifications.
Release note (ver0.3; revision 4)
Allow to use automatic error detection in assume-guarantee style properties.
Previously this feature is not included. Therefore, if any user tries to use JBernstein 0.3r3 to check assume-guarantee style properties, they need to modify the code of JBernstein, making their project GPL as well.
Now this restriction is removed.
Release note (ver0.3; revision 5)
Slightly change the title, so that the version in softpedia can properly use JBernstein as the name of the tool.
Release note (ver0.3; revision 6)
Enrich the readme file
Release note (ver0.3; revision 7)
Minor improvement for error estimation. Originally in range transformation, if the absolute value of the lower bound is below 1, then the estimation uses 1 to over-approximate. Now the solver refines it by using 0.25, 0.5, 0.75, and 1.
Log in to post a comment.
Sign up for the SourceForge newsletter:
You seem to have CSS turned off.
Please don't fill out this field.