43 citations · 125 across the 10 of their papers we have counts for
1 paper · 2 filters
Andreas Humenberger, Maximilian Jaroschek, Laura Kovács
Program analysis requires the generation of program properties expressing conditions to hold at intermediate program locations. When it comes to programs with loops, these properti…