2 citations · 2 across the 4 of their papers we have counts for
1 paper · 1 filter
Javier Esparza, Andreas Gaiser, Stefan Kiefer
Proving programs terminating is a fundamental computer science challenge. Recent research has produced powerful tools that can check a wide range of programs for termination. The a…