Is Lazy Abstraction a Decision Procedure for Broadcast Protocols?

Rayna Dimitrova, Andreas Podelski

Browse the full VMCAI paper archive.