杰伯斯坦

JBernstein:广义多项式约束的有效性检验器。在混合系统、控制算法、数字信号处理器和模拟/数字混合电路的许多自动验证和综合任务中,非线性实数运算约束的有效和可伸缩性验证是必不可少的。尽管验证技术有了长足的进步,但非线性实数运算经典决策过程的复杂性问题仍然是现实应用程序形式化验证的主要障碍。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换


zbMATH中的参考文献(参考文献2条)

显示结果1到2,共2个。
按年份排序(引用)

  1. 提瓦里,阿什什;Lincoln,Patrick:基于搜索的非线性实数运算程序(2016)
  2. 郑志红;露丝,哈拉尔德;Shankar,Natarajan:Jbernstein:广义多项式约束的有效性检验(2013)ioport公司