8 citations · 8 across the 2 of their papers we have counts for
2 papers
cs.PL2025
Non-Termination Proving: 100 Million LoC and Beyond
Julien Vanegue, Jules Villard, Peter O'Hearn +1
We report on our tool, Pulse Infinite, that uses proof techniques to show non-termination (divergence) in large programs. Pulse Infinite works compositionally and under-approximate…
cs.PL2012★ 8 cited
Shared Contract-Obedient Endpoints
Étienne Lozes, Jules Villard
Most of the existing verification techniques for message-passing programs suppose either that channel endpoints are used in a linear fashion, where at most one thread may send or r…