Symmetry reduction is a model checking technique that can help alleviate the problem of state space explosion, by preventing redundant state space ...

This work presents a retrospective B development that addresses the issue of symmetry reduction through a series of B refinements, and demonstrates the ...

Abstract. Symmetry reduction is a model checking technique that can help alleviate the problem of state space explosion, by preventing redun-.

Mar 15, 2024 · Turner, Edd, Butler, Michael and Leuschel, Michael (2010) A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking.

Abstract. Symmetry reduction is a model checking technique that can help alleviate the problem of state space explosion, by preventing redun-.

Turner, Edd and Butler, Michael and Leuschel, Michael (2010) A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking. In: ABZ 2010.

Combining symmetry reduction and under-approximation for symbolic model checking · A refinement-based correctness proof of symmetry reduced model checking.

Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of ...

A framework for symmetry reduced model checking of B machines, which verifies a unique representative from each orbit of symmetries, is presented, ...

Abstract. We present an extension of FDR, the model checker for the process algebra CSP, that exploits symmetry to reduce the size of.