Patent №
US 7,653,520
Granted
2010-01-26
Filed 2003
Owner
SRI INTERNATIONAL
Lab
—
AI components
3
kr · planning · hardware
Assignment
Recorded
Dataset
AIPD
2023_r1 edition
Application
10431780
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.
AI classification
Ownership
SRI INTERNATIONAL
assignment · 144580282
Assignors
MOURA, LEONARDO DE, RUESS, HARALD
On an employer assignment, the assignors are typically the inventors.