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 19 articles , 1 standard article )

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

  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) ioport
  5. Donaldson, Alastair F.: Vector symmetry reduction (2009)
  6. Donaldson, Alastair F.; Miller, Alice: On the constructive orbit problem (2009)
  7. Donaldson, Alastair F.; Miller, Alice: Automatic symmetry detection for Promela (2008)
  8. Klaudel, Hanna; Koutny, Maciej; Pelz, Elisabeth; Pommereau, Franck: Towards efficient verification of systems with dynamic process creation (2008)
  9. Bošnački, Dragan; Leue, Stefan; Lafuente, Alberto Lluch: Partial-order reduction for general state exploring algorithms (2006)
  10. Donaldson, A.F.; Miller, A.: Automatic symmetry detection for model checking using computational group theory (2005)
  11. Dwyer, Matthew B.; Hatcliff, John; Hoosier, Matthew; Robby, Matthew: Building your own software model checker using the Bogor extensible model checking framework (2005)
  12. 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)
  13. Edelkamp, Stefan; Leue, Stefan; Lluch-Lafuente, Alberto: Partial-order reduction and trail improvement in directed model checking (2004) ioport
  14. Edelkamp, Stefan; Leue, Stefan; Lluch-Lafuente, Alberto: Partial-order reduction and trail improvement in directed model checking (2004) ioport
  15. Iosif, Radu: Symmetry reductions for model checking of concurrent dynamic software (2004) ioport
  16. Iosif, Radu: Symmetry reductions for model checking of concurrent dynamic software (2004) ioport
  17. Robby; Dwyer, Matthew B.; Hatcliff, John; Iosif, Radu: Space-reduction strategies for model checking dynamic software (2003)
  18. Bošnački, Dragan; Dams, Dennis; Holenderski, Leszek: Symmetric spin (2002) ioport
  19. Bošnački, Dragan; Dams, Dennis; Holenderski, Leszek: Symmetric Spin (2000)