Verisim: Formal analysis of network simulations.

Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan

Browse the full ISSTA paper archive.