Towards a Trustworthy Semantics-Based Language Framework via Proof Generation

Xiaohong Chen*, Zhengyao Lin, Minh Thai Trinh, Grigore Roşu

*Corresponding author for this work

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    5 Citations (SciVal)
    Original languageEnglish
    Title of host publicationComputer Aided Verification - 33rd International Conference, CAV 2021, Proceedings
    EditorsAlexandra Silva, K. Rustan Leino
    PublisherSpringer Science and Business Media Deutschland GmbH
    Pages477-499
    Number of pages23
    ISBN (Print)9783030816872
    DOIs
    Publication statusPublished (VoR) - 2021
    Event33rd International Conference on Computer Aided Verification, CAV 2021 - Virtual, Online
    Duration: 20 Jul 202123 Jul 2021

    Publication series

    NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    Volume12760 LNCS
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    Conference33rd International Conference on Computer Aided Verification, CAV 2021
    CityVirtual, Online
    Period20/07/2123/07/21

    Keywords

    • Proof checking
    • Proof generation
    • Semantic framework

    Fingerprint

    Dive into the research topics of 'Towards a Trustworthy Semantics-Based Language Framework via Proof Generation'. Together they form a unique fingerprint.

    Cite this