| Document Date: 2005-07-13 16:55:25 Open Document File Size: 195,81 KBShare Result on Facebook
Company Preliminaries We / Linear Transition Systems / Siebel / / / IndustryTerm large systems / simplex algorithm / transition systems / / Organization National Science Foundation / Computer Science Department / Stanford University Stanford / / Person Sriram Sankaranarayanan / Henny B. Sipma / Zohar Manna / / Position Propagation-based Analysis Forward / guard / / Product C-3014 / C-1693 / / Technology analysis algorithm / 3 3.1 Invariant Generation Algorithm / simulation / /
SocialTag |