Work

A Practical and Complete Approach to Predicate Refinement

Year: 2006

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/11691372_33

Authors: Ranjit Jhala, K. L. McMillan

Institution: University of California San Diego

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W1531054827

FWCI: 11.68

Cites: 18

Cited by: 186

Related to: 10