SymmSpin

Symmetric Spin We give a detailed description of SymmSpin, a symmetry-reduction package for Spin. It offers four strategies for state-space reduction, based on the heuristic that we presented earlier, and a fifth mode for reference. A series of new experiments is described, underlining the effectiveness of the heuristic and demonstrating the generalization of the implementation to multiple scalar sets, multiple process families, as well as almost the full Promela language.


References in zbMATH (referenced in 23 articles , 1 standard article )

Showing results 1 to 20 of 23.
Sorted by year (citations)

1 2 next

  1. Basler, Gérard; Mazzucchi, Michele; Wahl, Thomas; Kroening, Daniel: Context-aware counter abstraction (2010)
  2. Jaghoori, Mohammad Mahdi; Sirjani, Marjan; Mousavi, Mohammad Reza; Khamespanah, Ehsan; Movaghar, Ali: Symmetry and partial order reduction techniques in model checking Rebeca (2010)
  3. Leuschel, Michael; Massart, Thierry: Efficient approximate verification of B and Z models via symmetry markers (2010)
  4. Bošnački, Dragan; Leue, Stefan; Lafuente, Alberto Lluch: Partial-order reduction for general state exploring algorithms (2009)
  5. Donaldson, Alastair F.: Vector symmetry reduction (2009)
  6. Donaldson, Alastair F.: Vector symmetry reduction (2009)
  7. Donaldson, Alastair F.; Miller, Alice: On the constructive orbit problem (2009)
  8. Donaldson, Alastair F.; Miller, Alice: Automatic symmetry detection for Promela (2008)
  9. Klaudel, Hanna; Koutny, Maciej; Pelz, Elisabeth; Pommereau, Franck: Towards efficient verification of systems with dynamic process creation (2008)
  10. Donaldson, Alastair F.; Miller, Alice: Extending symmetry reduction techniques to a realistic model of computation. (2007)
  11. Bošnački, Dragan; Leue, Stefan; Lafuente, Alberto Lluch: Partial-order reduction for general state exploring algorithms (2006)
  12. Donaldson, A.F.; Miller, A.: Automatic symmetry detection for model checking using computational group theory (2005)
  13. Donaldson, Alastair F.; Miller, Alice; Calder, Muffy: SPIN-to-grape: A tool for analysing symmetry in promela models. (2005)
  14. Donaldson, Alastair F.; Miller, Alice; Calder, Muffy: Finding symmetry in models of concurrent systems by static channel diagram analysis. (2005)
  15. Dwyer, Matthew B.; Hatcliff, John; Hoosier, Matthew; Robby, Matthew: Building your own software model checker using the Bogor extensible model checking framework (2005)
  16. Dwyer, Matthew B.; Hatcliff, John; Robby; Ranganath, Venkatesh Prasad: Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs (2004)
  17. Edelkamp, Stefan; Leue, Stefan; Lluch-Lafuente, Alberto: Partial-order reduction and trail improvement in directed model checking (2004)
  18. Edelkamp, Stefan; Leue, Stefan; Lluch-Lafuente, Alberto: Partial-order reduction and trail improvement in directed model checking (2004)
  19. Iosif, Radu: Symmetry reductions for model checking of concurrent dynamic software (2004)
  20. Iosif, Radu: Symmetry reductions for model checking of concurrent dynamic software (2004)

1 2 next