Soe Lin Myat

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Separation logic has seen widespread use in program verification, both for hand proofs [Rey02] and in automated tools [BCO06]. Verifying programs often requires many applications of the rule of consequence, but proving entailments by hand can be tricky. Automated tools work well for simple patterns, but often break down quickly when the formulae become(More)
  • 1