Amplification of formal method and fuzz testing to enable scalable assurance for communication system

This invention describes a way to make communication systems, like those in mobile networks, more secure. It uses advanced artificial intelligence, specifically large language models combined with transformer models, to automatically understand and model how these systems are supposed to work from their descriptions. This understanding helps find security weaknesses, particularly using a system called HyFuzz.