Fillable A SAT Characterization of Boolean-Program ... - Microsoft Research

Description
A SAT Characterization of Boolean-Program Correctness K. Rustan M. Leino Microsoft Research One Microsoft Way, Redmond, WA 98052, USA leino microsoft.com Appears in the SPIN 2003 workshop proceedings, Springer LNCS, copyright Springer-Verlag. Abstract. Boolean programs, imperative programs where all variables have type boolean, have been used effectively as abstractions of device drivers (in Ball and Rajamani's...
Fill & Sign Online, Print, Email, Fax, or Download
Fill Online
  • Fill Online
  • eSign
  • eFax
  • Email
  • Add Annotations
  • Share
Fill & Sign Online, Print, Email, Fax, or Download
Fill Online
Fill Online
Rate This Form

4.0

Satisfied

59

 Votes