4 citations · 6 across the 5 of their papers we have counts for
1 paper · 1 filter
Fabian Stemmler, Michael Schwarz, Julian Erhard +2
Static analysis of real-world programs combines flow- and context-sensitive analyses of local program states with computation of flow- and context-insensitive invariants at globals…