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)
We propose a reusable and extensible hub architecture, Ubiquitous Box Architecture (UBA), which can be used in scenarios where various devices and sensors need to communicate with each other. It includes four main components, namely (1) Ubiquitous Box, (2) Plug in Server, (3) Authorization Server and (4) client applications. To show the robustness of the(More)
  • 1