Work

Shape Analysis by Predicate Abstraction

Year: 2005

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-540-30579-8_12

Authors: Ittai Balaban, Amir Pnueli, Lenore D. Zuck

Institutions: New York University, University of Illinois Chicago

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1552505815

FWCI: 9.597

Cites: 18

Cited by: 87

Related to: 10