Indirect Network Troubleshooting with The Chase

Mubashir Anwar, Fangping Lan, Anduo Wang, Matthew Caesar

Research output: Chapter in Book/Report/Conference proceedingConference contribution


The future of static verification in networking may be obscured by two clouds: the complexity of distributed systems with highly concurrent events, and the decision-making on infrastructures growing without a premeditated plan. This poster discusses a possible solution to these issues, in which the huge space of analyzing distributed systems and the macro-questions of system evolution are addressed by a common structure, a logical implication problem which we call indirect troubleshooting. The usefulness and feasibility of indirect troubleshooting is illustrated by a preliminary realization with the chase, a remarkable process for mechanically deciding implications.

Original languageEnglish (US)
Title of host publicationProceedings of the 7th Asia-Pacific Workshop on Networking, APNET 2023
PublisherAssociation for Computing Machinery
Number of pages3
ISBN (Electronic)9798400707827
StatePublished - Jun 29 2023
Event7th Asia-Pacific Workshop on Networking, APNET 2023 - Hong Kong, China
Duration: Jun 29 2023Jun 30 2023

Publication series

NameProceedings of the 7th Asia-Pacific Workshop on Networking, APNET 2023


Conference7th Asia-Pacific Workshop on Networking, APNET 2023
CityHong Kong

ASJC Scopus subject areas

  • Computer Networks and Communications


Dive into the research topics of 'Indirect Network Troubleshooting with The Chase'. Together they form a unique fingerprint.

Cite this