Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs (Extended Technical Report)

Donaldson, AF; Kaiser, A; Kroening, D; Wahl, T

Dear Spiral user, We’re pleased to introduce Helix, https://helix.imperial.ac.uk/ Imperial’s new repository for research datasets. Please use Helix for all future dataset deposits. There is no change to Spiral - continue depositing as usual. For queries, contact the Research Data Management team at rdm-enquiries@imperial.ac.uk. Kind regards, the Spiral Team. The Spiral team

Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs (Extended Technical Report)

File(s)

techreport.pdf (187.07 KB)

Published version

Author(s)

Donaldson, AF

Kaiser, A

Kroening, D

Wahl, T

Type

Journal Article

Date Issued

2011-12-31

URI

http://hdl.handle.net/10044/1/14109

Journal / Book Title

CoRR

Volume

abs/1102.2330

License URL

http://www.rioxx.net/licenses/all-rights-reserved

Description