Efficient SMT-based network fault tolerance verification

DOI10.1007/978-3-031-27481-7_7zbMath1529.68161MaRDI QIDQ6174529

No author found.

Publication date: 17 August 2023

Published in: Formal Methods (Search for Journal in Brave)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Cites Work

• Scaling network verification using symmetry and surgery
• A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints
• Efficient verification of network fault tolerance via counterexample-guided refinement

This page was built for publication: Efficient SMT-based network fault tolerance verification