level protocols / software development costs / order transition systems / scale verification algorithms / software reliability / verification systems / infinite state systems / software quality / call location site / low-level software / less expensive allocation-site / memory management / allocation site / software defects / /
Organization
Ministry of Science / Heterogeneous Abstractions Eran Yahav∗ G. Ramalingam School of Computer Science Tel-Aviv University Tel-Aviv / U.S. Securities and Exchange Commission / Israeli Academy of Science / /
Person
Roman Manevich / Eran Yahav / John Field / Ai / L. Hendren / V / Mooly Sagiv / / /
Position
author / D. Knuth General / analysis designer / single representative / component library designer / programmer / /