Back to Results
First PageMeta Content
Predicate logic / Formal methods / Logic in computer science / Systems engineering / First-order logic / Model theory / Java Database Connectivity / Abstraction / Formal verification / Logic / Mathematical logic / Mathematics


Verifying Safety Properties using Separation and Heterogeneous Abstractions Eran Yahav∗ G. Ramalingam
Add to Reading List

Document Date: 2004-04-25 07:36:40

Open Document

File Size: 196,31 KB

Share Result on Facebook

City

Washington / DC / Berlin / Soot / Oakland / /

Company

IBM / Rai / ResultSet / Microsoft / /

Country

United States / Israel / /

Currency

USD / /

/

Event

Person Communication and Meetings / /

Facility

library API / JDBC library / /

IndustryTerm

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 / /

Product

Easl / /

ProgrammingLanguage

SQL / Java / /

ProvinceOrState

California / /

TVStation

WVUT / /

Technology

Java / 4 processor / high-level protocols / API / scale verification algorithms / 2.79Ghz processor / CMP / /

URL

http /

SocialTag