On April 1, RTX’s BBN Technologies announced that it has released Maude-HCS, an open-source toolkit that enables cyber defense teams to…