Combining Slicing and Constraint Solving for Validation of Measurement Software
No abstract available.
Related papers
- A typechecker plugin for units of measure: domain-specific constraint solving in GHC Haskell Haskell 2015
- Verified Validation of Program Slicing CPP 2015
- Hiding Program Slices for Software Security CGO 2003
- Symbolic Boolean derivatives for efficiently solving extended regular expression constraints PLDI 2021
- VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution) TACAS 2023
- Satisfiability modulo fuzzing: a synergistic combination of SMT solving and fuzzing OOPSLA 2022
- Combining Constraint Solving and Symbolic Model Checking for a Class of a Systems with Non-linear Constraints CAV 1997
- Causality-Based Game Solving CAV 2021