INCGuard is the first general-purpose verification tool for in-network computing systems that translates high-level specs into model-checkable state machines and reports violation traces for properties like cache consistency.
A survey on network verification and testing with formal methods: Approaches and challenges.IEEE Communi- cations Surveys & Tutorials, 21(1):940–969, 2019
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.DC 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Verifying In-Network Computing Systems for Design Risks
INCGuard is the first general-purpose verification tool for in-network computing systems that translates high-level specs into model-checkable state machines and reports violation traces for properties like cache consistency.