Mechanizing Matching Logic In Coq

Péter Bereczky; Xiaohong Chen; Dániel Horpácsi; Lucas Peña; Jan Tušil

doi:10.4204/EPTCS.369.2

Mechanizing Matching Logic In Coq

Péter Bereczky
, Xiaohong Chen
, Dániel Horpácsi
, Lucas Peña
, Jan Tušil

Eotvos Lorand University
University of Illinois at Urbana-Champaign
Masaryk University

Research output: Contribution to journal › Conference article › peer-review

8 Citations (SciVal)

Original language	English
Pages (from-to)	17-37
Number of pages	21
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	369
DOIs	https://doi.org/10.4204/EPTCS.369.2
Publication status	Published (VoR) - 19 Sept 2022
Event	6th Working Formal Methods Symposium, FROM 2022 - Iasi, Romania Duration: 19 Sept 2022 → 20 Sept 2022

Funding

We warmly thank Runtime Verification Inc. for their generous funding support. Supported by the ÚNKP-21-4 New National Excellence Program of the Ministry for Innovation and Technology from the source of the National Research, Development and Innovation Fund.

Access to Document

10.4204/EPTCS.369.2

Cite this

@article{505cfb46fb0d402682448ae5d9f10b5e,

title = "Mechanizing Matching Logic In Coq",

author = "P{\'e}ter Bereczky and Xiaohong Chen and D{\'a}niel Horp{\'a}csi and Lucas Pe{\~n}a and Jan Tu{\v s}il",

note = "Funding Information: We warmly thank Runtime Verification Inc. for their generous funding support. Supported by the {\'U}NKP-21-4 New National Excellence Program of the Ministry for Innovation and Technology from the source of the National Research, Development and Innovation Fund. Publisher Copyright: {\textcopyright} P. Bereczky et al.; 6th Working Formal Methods Symposium, FROM 2022 ; Conference date: 19-09-2022 Through 20-09-2022",

year = "2022",

month = sep,

day = "19",

doi = "10.4204/EPTCS.369.2",

language = "English",

volume = "369",

pages = "17--37",

journal = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

issn = "2075-2180",

}

TY - JOUR

T1 - Mechanizing Matching Logic In Coq

AU - Bereczky, Péter

AU - Chen, Xiaohong

AU - Horpácsi, Dániel

AU - Peña, Lucas

AU - Tušil, Jan

N1 - Funding Information: We warmly thank Runtime Verification Inc. for their generous funding support. Supported by the ÚNKP-21-4 New National Excellence Program of the Ministry for Innovation and Technology from the source of the National Research, Development and Innovation Fund. Publisher Copyright: © P. Bereczky et al.

PY - 2022/9/19

Y1 - 2022/9/19

UR - https://www.scopus.com/pages/publications/85139964297

UR - https://www.scopus.com/pages/publications/85139964297#tab=citedBy

U2 - 10.4204/EPTCS.369.2

DO - 10.4204/EPTCS.369.2

M3 - Conference article

AN - SCOPUS:85139964297

SN - 2075-2180

VL - 369

SP - 17

EP - 37

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

T2 - 6th Working Formal Methods Symposium, FROM 2022

Y2 - 19 September 2022 through 20 September 2022

ER -

Mechanizing Matching Logic In Coq

Funding

Access to Document

Other files and links

Fingerprint

Cite this