Efficient verification of network fault tolerance via counterexample-guided refinement
- Nick Giannarakis
- , Ryan Beckett
- , Ratul Mahajan
- , David Walker
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
18
Link opens in a new tab
Scopus
citations