Using Adaptive Symmetry Reduction for LTL Model Checking

V.Konnov, Igor; A.Zakharov, Vladimir

by Igor V.Konnov, Vladimir A.Zakharov

Reference:

Using Adaptive Symmetry Reduction for LTL Model CheckingIgor V.Konnov, Vladimir A.ZakharovModelling and Analysis of Information Systems (Modelirovanie i analiz informacionnih system), volume 15, number 3, pages 3-13, 2008.Note: The English translation is available as http://dx.doi.org/10.3103/S0146411610070035

Bibtex Entry:

@article{KonnovZakharov2008,
  author    = {Igor V.Konnov and Vladimir A.Zakharov},
  title     = {Using Adaptive Symmetry Reduction for LTL Model Checking},
  journal   = {Modelling and Analysis of Information Systems (Modelirovanie i analiz informacionnih system)},
  volume    = {15},
  number    = {3},
  year      = {2008},
  pages     = {3-13},
  ee        = {http://mais.uniyar.ac.ru/ru/article/54},
  language  = {russian},
  note      = "The English translation is available as \url{http://dx.doi.org/10.3103/S0146411610070035}",
}