Formal Methods for Network Performance Analysis.

Mina Tahmasbi Arashloo Ryan Beckett Rachit Agarwal

Published in: NSDI (2023)

Keyphrases

formal methods
formal analysis
model checking
complex networks
formal specification
knowledge based systems
computer networks
model checker
artificial intelligence
network structure
temporal properties
database
communication networks
software engineering
high level
data mining
databases