Comparing program logics for reasoning about safety properties

Update Item Information
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