Rewriting Environment for Arithmetic Circuit Verification

From MaRDI portal

Revision as of 18:07, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5222992

Jump to:navigation, search

DOI10.29007/rswkzbMath1415.68151OpenAlexW2908208232MaRDI QIDQ5222992

Maciej Ciesielski, Tiankai Su, Cunxi Yu, Atif Yasin, Alan Mishchenko

Publication date: 4 July 2019

Published in: EPiC Series in Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.29007/rswk

zbMATH Keywords

computer algebra formal verification arithmetic circuits

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Related Items (1)

Uses Software

This page was built for publication: Rewriting Environment for Arithmetic Circuit Verification

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5222992&oldid=19834433"