Categorical Automata Learning Framework Verification of Hardware Concurency via Model Learning (CLeVer) Automated Black-box Verification of Networking Systems
