A local search approach to protocol verification

DOI10.1016/J.TCS.2024.114675MaRDI QIDQ6589831zbMATH OpenFDO

Authors Kun Ma, Yongjian Li, Shaowei Cai, Yongxin Zhao

Publication date 20 August 2024

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.TCS.2024.114675

zbMATH Keywords

explicit state enumerationlocal searchprotocol verification

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• A proof theory for model checking
• Formal Methods in Computer-Aided Design
• Handbook of model checking
• scientific article; zbMATH DE number 1746648 (Why is no real title available?)
• Partial neighborhood local searches
• Survey on Directed Model Checking
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for publication: A local search approach to protocol verification

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