Back to Results
First PageMeta Content
Mathematics / Predicate transformer semantics / Predicate logic / Hoare logic / Loop invariant / Universal quantification / Invariant / Predicate / Logic / Mathematical logic / Program logic


Simplifying Loop Invariant Generation Using Splitter Predicates? Rahul Sharma, Isil Dillig, Thomas Dillig, and Alex Aiken Department of Computer Science Stanford University {sharmar,isil,tdillig,aiken}@cs.stanford.edu
Add to Reading List

Document Date: 2011-04-21 20:24:53

Open Document

File Size: 362,13 KB

Share Result on Facebook

Currency

pence / /

/

Facility

Computer Science Stanford University / /

IndustryTerm

automatic software verification system / phase split algorithm / computing / Phase splitting algorithm / verification systems / /

Organization

National Science Foundation / Stanford University / Alex Aiken Department / /

Person

Alex Aiken / Rahul Sharma / Thomas Dillig / /

Position

representative / loop head / head / /

SportsLeague

Stanford University / /

Technology

phase split algorithm / 4 Algorithm / Phase splitting algorithm Our algorithm / /

URL

http /

SocialTag