scientific article; zbMATH DE number 4050940

MaRDI QIDQ3787429zbMATH OpenFDO

Authors Sudhir Aggarwal, Rafael Alonso, Costas Courcoubetis

Publication date 1988

zbMATH Keywords

distributed reachability analysisprotocol verification environments

Mathematics Subject Classification ID

Theory of software (68N99)

Cited in

(6)

• Distributed verification of multi-threaded C++ programs
• Fully Dynamic Single-Source Reachability in Practice: An Experimental Study
• Reachability analysis on distributed executions
• Assumption-based analysis of distance-bounding protocols with \textsc{cpsa}
• A work-efficient distributed algorithm for reachability analysis
• Dynamic analysis of the arrow distributed protocol

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3787429)