Retraction notice to “Reachability Analysis of Concurrent Boolean Programs with Symbolic Counter Abstraction” [PROCS9 (2012) 1363–1370]

摘要

This article has been retracted: please see Elsevier Policy on Article Withdrawal ( http://www.elsevier.com/locate/withdrawalpolicy ). This article has been retracted: please see Elsevier Policy on Article Withdrawal ( http://www.elsevier.com/locate/withdrawalpolicy ). This article has been retracted at the request of the Editor. The article duplicates significant parts of papers that have already appeared in: Symbolic Counter Abstraction for Concurrent Software, Gérard Basler, Michele Mazzucchi, Thomas Wahl, Daniel Kroening Proceedings of the 21st International Conference, Computer Aided Verification (CAV) 2009, Grenoble, France, June 26–July 2, 2009. Lecture Notes in Computer Science, Volume 5643, 2009, pp 64–78 http://dx.doi.org/10.1007/978-3-642-02658-4_9 and Context-aware counter abstraction Gérard Basler, Michele Mazzucchi, Thomas Wahl, Daniel Kroening Formal Methods in System Design, September 2010, Volume 36, Issue 3, pp 223–245 http://dx.doi.org/10.1007/s10703-010-0096-7 and Model checking Boolean programs Gérard Charly Basler. Dissertation, Eidgen?ssischeTechnischeHochschule ETH Zürich, Nr. 18870, 2010 ETH Institutional repository, http://dx.doi.org/10.3929/ethz-a-006213873 One of the conditions of submission of a paper for publication is that authors declare explicitly that the paper is not under consideration for publication elsewhere. Re-use of any data should be appropriately cited. As such this article represents a severe abuse of the scientific publishing system. The scientific community takes a very strong view on this matter and apologies are offered to readers that this was not detected during the submission process.