Interactive Safety Verification of Distributed Protocols by Inductive Proof Decomposition

Lecture notes in computer science 2026 Open access

Read full text

Authors: William W. Schultz, Edward A. Ashton, Heidi Carmen Howard, Stavros Tripakis

DOI: 10.1007/978-3-032-28079-4_1

Cited by: 0

Fields of Study & Subjects

Formal Methods in Verification Software Testing and Debugging Techniques Network Packet Processing and Optimization