Efficient verification of network fault tolerance via counterexample-guided refinement

DOI10.1007/978-3-030-25543-5_18OpenAlexW2957285558MaRDI QIDQ6154886

No author found.

Publication date: 16 February 2024

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-25543-5_18

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Specification and verification (program logics, model checking, etc.) (68Q60) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (1)

Efficient SMT-based network fault tolerance verification

This page was built for publication: Efficient verification of network fault tolerance via counterexample-guided refinement