| Publication Type |
poster |
| School or College |
Scientific Computing and Imaging Institute |
| Department |
Computing, School of |
| Creator |
Zhao, Lu; Regehr, John |
| Title |
Comparing program logics for reasoning about safety properties |
| Date |
2010-10-06 |
| Description |
To prove memory write and controls transfers do not interfere with other programs in embedded systems. Hoare Logic with Bale Predicate; Hoare Logic with Separation Conjunction. |
| Type |
Text; Image |
| Publisher |
University of Utah |
| Language |
eng |
| Bibliographic Citation |
Zhao, L., & Regehr, J. (2010). Comparing program logics for reasoning about safety properties. University of Utah. |
| Rights Management |
(c)Lu Zhao, John Regehr |
| Format Medium |
application/pdf |
| Format Extent |
71,565 bytes |
| Identifier |
ir-main/14812 |
| ARK |
ark:/87278/s62r49cw |
| Setname |
ir_uspace |
| ID |
707991 |
| Reference URL |
https://collections.lib.utah.edu/ark:/87278/s62r49cw |
