Dynamic Verifying The Properties of The Simple Subset of PSL

  • Authors:

  • Naiyong Jin;Chengjie Shen

  • Affiliations:

  • East China Normal University;East China Normal University

  • Venue:
  • TASE '07 Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

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 states from each class (orbit) of symmetric states. This paper presents a framework for symmetry ...