Counter-Example Guided Fence Insertion under TSO

DOI10.1007/978-3-642-28756-5_15zbMath1352.68047OpenAlexW2121064036MaRDI QIDQ2894272

Ahmed Rezine, Yu-Fang Chen, Mohamed Faouzi Atig, Carl Leonardsson, Parosh Aziz Abdulla

Publication date: 29 June 2012

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-28756-5_15

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Related Items

Verification of Concurrent Programs on Weak Memory Models, Unnamed Item, Stateless model checking for TSO and PSO, Context-Bounded Analysis of TSO Systems, Unnamed Item, Unnamed Item, CCA-Secure Keyed-Fully Homomorphic Encryption

Uses Software

• Checkfence