Papers

Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Thomas Wahl. Symmetry-Aware Predicate Abstraction for Shared Variable Concurrent Programs. In Proceedings of the 23rd International Conference on Computer Aided Verification (CAV'11), Lecture Notes in Computer Science 6806, pages 356-371. Springer, 2011.

Bibtex:

@inproceedings{DonaldsonKKW_CAV2011,
   title      = {Symmetry-Aware Predicate Abstraction for Shared
                 Variable Concurrent Programs},
   author     = {Alastair F. Donaldson and Alexander Kaiser and
                 Daniel Kroening and Thomas Wahl},
   booktitle  = {Proceedings of the 23rd International Conference
                 on Computer Aided Verification (CAV'11)},
   series     = {Lecture Notes in Computer Science},
   volume     = {6806},
   pages      = {356-371},
   publisher  = {Springer},
   year       = {2011}
}