Towards Integrating Formal Methods into ML-Based Systems for Networking.

Fengchen Gong Divya Raghunathan Aarti Gupta Maria Apostolaki

Published in: HotNets (2023)

Keyphrases

formal methods
safety critical
knowledge based systems
artificial intelligence
formal analysis
model checker
real world
distributed systems
building blocks
formal specification
reactive systems
model checking
distributed computing