|
|
Creator | Title | Description | Subject | Date |
1 |
|
McDirmid, Sean; Hsieh, Wilson C. | A path-precise analysis for property synthesis | Recent systems such as SLAM, Metal, and ESP help programmers by automating reasoning about the correctness of temporal program properties. This paper presents a technique called property synthesis, which can be viewed as the inverse of property checking. We show that the code for some program pro... | Property synthesis; Property codes | 2003-12-01 |
2 |
|
Gopalakrishnan, Ganesh | A symbolic partial order reduction algorithm for rule based transition systems | Partial order reductions are a class of methods that attempt to reduce the state space that must be explored to verify systems by explicit state enumeration. Partial order reduction algorithms have been successfully incorporated into tools such as Spin and VFSM-valid. However, current partial ord... | Partial order reductions; Partial order reduction algorithms; SAT solver; Rule based transition systems | 2003-12-01 |
3 |
|
Singleton, J. Robinson; Smith, A. Gordon | Microvascular complications of impaired glucose tolerance. | Impaired glucose tolerance (IGT) serves as a marker for the state of insulin resistance and predicts both large- and small-vessel vascular complications, independent of a patient's progression to diabetes. Patients with IGT are at significantly increased risk for death and morbidity due to myocardia... | Microcirculation; Humans | 2003-12-01 |