 Date: 2011-04-21 20:24:53Mathematics 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 ListSource URL: theory.stanford.eduDownload Document from Source Website File Size: 362,13 KBShare Document on Facebook
|
