COMBAT je nástroj pro verifikaci a analýzu chování softwarových komponent implementovaných v jazyce Java a specifikovaných pomocí formalismu protokolů chování.
