Found an issue? Give us feedback

ZENODOarrow_drop_down

ZENODO

Software . null

Data sources: ZENODO

Select content type to embed

All Research products

arrow_drop_down

<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

Artifact for "Formal Verification for JavaScript Regular Expressions: a Proven Mechanized Semantics and its Applications", at POPL 2026

integration_instructionsResearch softwarekeyboard_double_arrow_right Software Under curationPublisher:Zenodo

Authors: Barrière, Aurèle; Deng, Victor; Pit-Claudel, Clément;

doi: 10.5281/zenodo.17305393

Artifact for "Formal Verification for JavaScript Regular Expressions: a Proven Mechanized Semantics and its Applications", at POPL 2026

- Summary

Abstract

Artifact for ‘Formal Verification for JavaScript Regular Expressions: a Proven Mechanized Semantics and its Applications’ at POPL 2026. Welcome to our artifact!See the `README.md` file for informations about the artifact.

Found an issue? Give us feedback