Issue Date: 6-10 April 2010rnrntOn page(s): rnt349rnttrn- 354rnrnrnLocation: Paris, FrancernrnPrint ISBN: 978-1-4244-6773-0rnrnrnrnttrnDigital Object Identifier: href='http://dx.doi.org/10.1109/ICSTW.2010.42' target='_blank'>10.1109/ICSTW.2010.42 rnrnDate of Current Version: trnrnt2010-05-13 13:19:48.0rnrnt rntt class="body-text">rntname="Abstract">>Abstractrn>Rule-based programming has been gaining interest in the industry for several years, through the growing use of Business Rules Management Systems. A demand for verification of semantic properties on rule programs has thus emerged. In this paper we present an approach to rule program verification, using constraints to model program executions and verification properties, an;
constraint satisfiability; constraint-based programming; program analysis; program verification; rule-based programming;
机译:使用约束处理规则和数组约束归纳进行程序验证
机译:使用约束编程和抽象解释技术验证浮点程序
机译:使用路径枚举和约束编程从行为VHDL程序生成设计验证测试
机译:使用约束来验证规则程序的属性
机译:基于约束的方法来验证具有浮点数的程序。
机译:具有消失性强且收敛性强的数学程序的SQP方法
机译:使用约束处理规则和数组约束概括进行程序验证