Property-Agnostic Base Case Extension for Scalable Verification of Distributed Systems.

Kyle Storey, Eric Mercer

Browse the full VMCAI paper archive.