43 citations · 83 across the 4 of their papers we have counts for
1 paper · 1 filter
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…