Towards a Trustworthy Semantics-Based Language Framework via Proof Generation

Xiaohong Chen; Zhengyao Lin; Minh Thai Trinh; Grigore Roşu

doi:10.1007/978-3-030-81688-9_23

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 proceeding › Conference contribution › peer-review

8 Citations (SciVal)

Original language	English
Title of host publication	Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings
Editors	Alexandra Silva, K. Rustan Leino
Publisher	Springer Science and Business Media Deutschland GmbH
Pages	477-499
Number of pages	23
ISBN (Print)	9783030816872
DOIs	https://doi.org/10.1007/978-3-030-81688-9_23
Publication status	Published (VoR) - 2021
Event	33rd International Conference on Computer Aided Verification, CAV 2021 - Virtual, Online Duration: 20 Jul 2021 → 23 Jul 2021

Publication series

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

Conference

Conference	33rd International Conference on Computer Aided Verification, CAV 2021
City	Virtual, Online
Period	20/07/21 → 23/07/21

Keywords

Proof checking
Proof generation
Semantic framework

Access to Document

10.1007/978-3-030-81688-9_23

Cite this

Chen, X., Lin, Z., Trinh, M. T., & Roşu, G. (2021). Towards a Trustworthy Semantics-Based Language Framework via Proof Generation. In A. Silva, & K. R. Leino (Eds.), Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings (pp. 477-499). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12760 LNCS). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-030-81688-9_23

Chen, Xiaohong ; Lin, Zhengyao ; Trinh, Minh Thai et al. / Towards a Trustworthy Semantics-Based Language Framework via Proof Generation. Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings. editor / Alexandra Silva ; K. Rustan Leino. Springer Science and Business Media Deutschland GmbH, 2021. pp. 477-499 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{011b224f028248a18d7b76b2011b077b,

title = "Towards a Trustworthy Semantics-Based Language Framework via Proof Generation",

keywords = "Proof checking, Proof generation, Semantic framework",

author = "Xiaohong Chen and Zhengyao Lin and Trinh, {Minh Thai} and Grigore Ro{\c s}u",

note = "Funding Information: Acknowledgment. The work presented in this paper was supported in part by NSF CNS 16-19275 and an IOHK grant. This material is based upon work supported by the United States Air Force and DARPA under Contract No. FA8750-18-C-0092. Publisher Copyright: {\textcopyright} 2021, The Author(s).; 33rd International Conference on Computer Aided Verification, CAV 2021 ; Conference date: 20-07-2021 Through 23-07-2021",

year = "2021",

doi = "10.1007/978-3-030-81688-9_23",

language = "English",

isbn = "9783030816872",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Science and Business Media Deutschland GmbH",

pages = "477--499",

editor = "Alexandra Silva and Leino, {K. Rustan}",

booktitle = "Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings",

}

Chen, X, Lin, Z, Trinh, MT & Roşu, G 2021, Towards a Trustworthy Semantics-Based Language Framework via Proof Generation. in A Silva & KR Leino (eds), Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12760 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 477-499, 33rd International Conference on Computer Aided Verification, CAV 2021, Virtual, Online, 20/07/21. https://doi.org/10.1007/978-3-030-81688-9_23

Towards a Trustworthy Semantics-Based Language Framework via Proof Generation. / Chen, Xiaohong; Lin, Zhengyao; Trinh, Minh Thai et al.
Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings. ed. / Alexandra Silva; K. Rustan Leino. Springer Science and Business Media Deutschland GmbH, 2021. p. 477-499 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12760 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Towards a Trustworthy Semantics-Based Language Framework via Proof Generation

AU - Chen, Xiaohong

AU - Lin, Zhengyao

AU - Trinh, Minh Thai

AU - Roşu, Grigore

N1 - Funding Information: Acknowledgment. The work presented in this paper was supported in part by NSF CNS 16-19275 and an IOHK grant. This material is based upon work supported by the United States Air Force and DARPA under Contract No. FA8750-18-C-0092. Publisher Copyright: © 2021, The Author(s).

PY - 2021

Y1 - 2021

KW - Proof checking

KW - Proof generation

KW - Semantic framework

UR - http://www.scopus.com/inward/record.url?scp=85115834305&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85115834305&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-81688-9_23

DO - 10.1007/978-3-030-81688-9_23

M3 - Conference contribution

AN - SCOPUS:85115834305

SN - 9783030816872

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 477

EP - 499

BT - Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings

A2 - Silva, Alexandra

A2 - Leino, K. Rustan

PB - Springer Science and Business Media Deutschland GmbH

T2 - 33rd International Conference on Computer Aided Verification, CAV 2021

Y2 - 20 July 2021 through 23 July 2021

ER -

Chen X, Lin Z, Trinh MT, Roşu G. Towards a Trustworthy Semantics-Based Language Framework via Proof Generation. In Silva A, Leino KR, editors, Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings. Springer Science and Business Media Deutschland GmbH. 2021. p. 477-499. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-81688-9_23

Towards a Trustworthy Semantics-Based Language Framework via Proof Generation

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this