publication venue for Scalable and scope-bounded software verification in VARVEL 2015 Symbolic modular deadlock analysis 2011
