Maude-HCS helps model and validate covert network designs
Defense contractor RTX, formerly Raytheon Technologies, on Wednesday that its BBN research arm had released Maude-HCS under the Apache 2.0 license for anyone who wishes to try it.
Threads
Defense contractor RTX, formerly Raytheon Technologies, on Wednesday that its BBN research arm had released Maude-HCS under the Apache 2.0 license for anyone who wishes to try it.The Register