Browse Research and Tech Reports - Computer Science by Author "Wang, John"

  • Lin, Zhengyao; Chen, Xiaohong; Trinh, Minh-Thai; Wang, John; Rosu, Grigore (2021-11-21)
    Formal deductive verification aims at proving the correctness of programs via logical deduction. However, the fact that it is usually based on complex program logics makes it error-prone to implement. This paper addresses ...

    application/pdf

    application/pdfPDF (546kB)
  • Lin, Zhengyao; Chen, Xiaohong; Trinh, Minh-Thai; Wang, John; Rosu, Grigore (2021-08-22)
    In an ideal language framework, language designers only need to define the formal semantics of their languages. Deductive program verifiers and other language tools are automatically generated by the framework. In this ...

    application/pdf

    application/pdfPDF (1MB)