In-Place Refinement for Effect Checking

conference paper

•

Leino, Rustan

2003

Workshop on Automated Verification of Infinite-State Systems

Name

KuncakLeino03InPlaceRefinementEffectChecking.pdf

Access type

openaccess

Size

210.89 KB

Format

Adobe PDF

Checksum (MD5)

d6ed39dcd7aefc373e1976f93df2d026