Pages that link to "Item:Q3656884"
From MaRDI portal
The following pages link to Automatic Abstraction for Congruences (Q3656884):
Displaying 5 items.
- Application of static analyses for state-space reduction to the microcontroller binary code (Q617924) (← links)
- A new abstraction framework for affine transformers (Q2322316) (← links)
- Abstract interpretation of microcontroller code: intervals meet congruences (Q2442953) (← links)
- Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic (Q5039504) (← links)
- Transfer Function Synthesis without Quantifier Elimination (Q5892491) (← links)
