Correct orchestration of federated learning generic algorithms: Python translation to CSP and verification by PAT - Djukic, Miodrag; Prokić, Ivan; Popovic, Miroslav; Ghilezan, Silvia; Popovic, Marko; Prokić, Simona (International journal on software tools for technology transfer, 2025)
Keywords: Algorithms; Communication; Computer Science; Federated learning; Machine learning; Peer to peer computing; Python; Software Engineering; Software Engineering/Programming and Operating Systems; Theory of Computation; CSP process calculus; Decentralized intelligence; Federated learning; PAT model checker; Actor model; Python; Formal verification