Application of Formal Word-Level Analysis to Constrained Random Simulation
No abstract available.
Related papers
- WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification TACAS 2023
- FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format TACAS 2023
- Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Translator TACAS 2023
- Runtime verification and validation of functional reactive systems JFP 2020
- Constrained Expressions: Toward Broad Applicability of Analysis Methods for Distributed Software Systems TOPLAS 1988
- Generating constrained random data with uniform distribution JFP 2015
- MarQSim: Reconciling Determinism and Randomness in Compiler Optimization for Quantum Simulation PLDI 2025
- Forward and Backward Constrained Bisimulations for Quantum Circuits TACAS 2024