Check and simulate: a case for incorporating model checking in network simulation.

Ahmed Sobeih, Mahesh Viswanathan, Jennifer C. Hou

Browse the full MEMOCODE paper archive.