The following pages link to Static Analysis (Q5466563):
Displaying 7 items.
- Automated verification of shape, size and bag properties via user-defined predicates in separation logic (Q436400) (← links)
- Automata-based verification of programs with tree updates (Q845236) (← links)
- The octagon abstract domain (Q853733) (← links)
- Deciding Boolean algebra with Presburger arithmetic (Q861705) (← links)
- Intuitive, localized analysis of shape variability (Q2780019) (← links)
- Bottom-Up Shape Analysis (Q3392926) (← links)
- (Q4006740) (← links)