首页>
外国专利>
Method for combining decision procedures with satisfiability solvers
Method for combining decision procedures with satisfiability solvers
展开▼
机译:决策程序与可满足性求解器组合的方法
展开▼
页面导航
摘要
著录项
相似文献
摘要
The invention provides bounded model checking of a program with respect to a property of interest comprising unfolding the program for a number of steps to create a program formula; translating the property of interest into an automaton; encoding the transition system of the automaton into a Boolean formula creating a transition formula; conjoining the program formula with the transition formula to create a conjoined formula; and deciding the satisfiability of the conjoined formula.
展开▼