Verifying a Logic Synthesis Tool in Nuprl: A Case Study in Software Verification
Abstract elided by the publisher.
Related papers
- Building reliable, high-performance networks with the Nuprl proof development system JFP 2004
- Certifying the synthesis of heap-manipulating programs ICFP 2021
- $\mathbf{{\textsc {PyCaliper}}}$: Python-Embedded Infrastructure for RTL Verification and Specification Synthesis CAV 2025
- The VerCors Verifier: A Progress Report CAV 2024
- ILAng: A Modeling and Verification Platform for SoCs Using Instruction-Level Abstractions TACAS 2019
- LCV: A Verification Tool for Linear Controller Software TACAS 2019
- Case Study on Verification-Witness Validators: Where We Are and Where We Go SAS 2022
- EVA: a Tool for the Compositional Verification of AUTOSAR Models TACAS 2023