H
Him Hai Nguyen
Researcher at Singapore–MIT alliance
Publications - 2
Citations - 117
Him Hai Nguyen is an academic researcher from Singapore–MIT alliance. The author has contributed to research in topics: Formal verification & Formal specification. The author has an hindex of 2, co-authored 2 publications receiving 116 citations.
Papers
More filters
Proceedings ArticleDOI
Automated Verification of Shape, Size and Bag Properties
TL;DR: A prover that can automatically handle user-defined predicates is proposed that provides support for a new type of constraints, namely bag (multi-set) constraints, and is able to prove properties about the actual values stored inside a data structure.
Proceedings ArticleDOI
Multiple Pre/Post Specifications for Heap-Manipulating Methods
TL;DR: This paper advocates for multiple pairs of pre/post conditions to be associated with each method which provides a way for such specification to be used in more scenarios, and a methodology to capture them via set of states during proof search.