@inproceedings{655271c654db4be8aa801a783d1b97a2,
title = "On using SMT-solvers for Modeling and Verifying Dynamic Network Emulators: (Work in Progress)",
abstract = "In this paper, a novel model-based approach to verify dynamic networks is proposed. The network topology and dynamic link parameters are described as a many sorted first order logic formula, that is verified by an SMT-solver (z3 in our case) with respect to a set of properties. The formula is also used for run-time network verification when a given static network instance is implemented. Preliminary experiments showcase the expressiveness and current limitations of the proposed approach.",
keywords = "Many sorted first order logic formula, Modeling, Network emulator, SMT-solver, Verification",
author = "Erick Petersen and Jorge Lopez and Natalia Kushik and Claude Poletti and Djamal Zeghlache",
note = "Publisher Copyright: {\textcopyright} 2020 IEEE.; 19th IEEE International Symposium on Network Computing and Applications, NCA 2020 ; Conference date: 24-11-2020 Through 27-11-2020",
year = "2020",
month = nov,
day = "24",
doi = "10.1109/NCA51143.2020.9306731",
language = "English",
series = "2020 IEEE 19th International Symposium on Network Computing and Applications, NCA 2020",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
editor = "Aris Gkoulalas-Divanis and Mirco Marchetti and Avresky, \{Dimiter R.\}",
booktitle = "2020 IEEE 19th International Symposium on Network Computing and Applications, NCA 2020",
}