Network analysis, inference and verification