Skip to main content

1 Result(s)

within Chung-Kil Hur Remove this filter Computer Science Remove this filter Artificial Intelligence Remove this filter Logics and Meanings of Programs Remove this filter

and
Your search also matched 2 preview-only Content is preview-only when you or your institution have not yet subscribed to it.

By making our abstracts and previews universally accessible we help you purchase only the content that is relevant to you. results, e.g.

Second-Order Equational Logic (Extended Abstract)

Include preview-only content

  1. Chapter and Conference Paper

    An SMT Encoding of LLVM’s Memory Model for Bounded Translation Validation

    Several automatic verification tools have been recently developed to verify subsets of LLVM’s optimizations. However, none of these tools has robust support to verify memory optimizations.

    Juneyoung Lee, Dongjoo Kim, Chung-Kil Hur, Nuno P. Lopes in Computer Aided Verification (2021)

    Download PDF (918 KB) View Chapter