1 paper
Liam O'Connor, Pilar Selene Linares Arevalo, Christine Rizkallah
Value independence is enormously beneficial for reasoning about software systems at scale. These benefits carry over into the world of formal verification. Reasoning about programs…