Interactive Safety Verification of Distributed Protocols by Inductive Proof Decomposition - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

William Schultz, Edward Ashton, Heidi Howard, Stavros Tripakis 0001. Interactive Safety Verification of Distributed Protocols by Inductive Proof Decomposition. In Jyotirmoy V. Deshmukh, Klaus Havelund, Alessandro Pinto, editors, NASA Formal Methods - 18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5-7, 2026, Proceedings. Volume 16622 of Lecture Notes in Computer Science, pages 3-24, Springer, 2026. [doi]

This author has not been identified. Look up 'William Schultz' in GoogleThis author has not been identified. Look up 'Edward Ashton' in GoogleThis author has not been identified. Look up 'Heidi Howard' in GoogleThis author has not been identified. Look up 'Stavros Tripakis 0001' in Google

runs on WebDSL