On using SMT-solvers for Modeling and Verifying Dynamic Network Emulators: (Work in Progress).

Erick Petersen, Jorge Lpez, Natalia Kushik, Claude Poletti, Djamal Zeghlache

Browse the full NCA paper archive.