Patent №
US 7,779,382
Granted
2010-08-17
Filed 2004
Owner
MICROSOFT CORPORATION
Lab
AI components
1
hardware
Assignment
Recorded
Dataset
AIPD
2023_r1 edition
Application
11009752
Validity of one or more assertions for any concurrent execution of a plurality of software instructions with at most k−1 context switches can be determined. Validity checking can account for execution of the software instructions in an unbounded stack depth scenario. A finite data domain representation can be used. The software instructions can be represented by a pushdown system. Validity checking can account for thread creation during execution of the plurality of software instructions.
AI classification
Ownership
MICROSOFT CORPORATION
assignment · 155890193
Assignors
REHOF, NIELS JAKOB, QADEER, SHAZ
On an employer assignment, the assignors are typically the inventors.