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

Erick Petersen, Jorge López, Natalia Kushik, Claude Poletti, Djamal Zeghlache. On using SMT-solvers for Modeling and Verifying Dynamic Network Emulators: (Work in Progress). In 19th IEEE International Symposium on Network Computing and Applications, NCA 2020, Cambridge, MA, USA, November 24-27, 2020. pages 1-3, IEEE, 2020. [doi]

Abstract

Abstract is missing.