Downloadable computer software using artificial intelligence (AI) for cybersecurity, network policy enforcement, threat modeling, IoT device monitoring, and network security verification.