batfish

Batfish adalah alat analisis konfigurasi jaringan yang dapat menemukan bug dan menjamin kebenaran konfigurasi jaringan (yang direncanakan atau saat ini). Alat ini memungkinkan para insinyur jaringan untuk mengembangkan jaringan mereka secara cepat dan aman, tanpa takut terjadi pemadaman atau pelanggaran keamanan.