Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
The Benefits of Duality in Verifying Concurrent Programs under TSO - MaRDI portal

The Benefits of Duality in Verifying Concurrent Programs under TSO

From MaRDI portal

Publication:4608655

Jump to:navigation, search

DOI10.4230/LIPICS.CONCUR.2016.5zbMath1392.68142OpenAlexW2546693429MaRDI QIDQ4608655

Ahmed Bouajjani, Tuan Phong Ngo, Mohamed Faouzi Atig, Parosh Aziz Abdulla

Publication date: 21 March 2018

Full work available at URL: https://doi.org/10.4230/LIPIcs.CONCUR.2016.5

zbMATH Keywords

reachability problem weak memory models parameterized verification

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Parameterized model checking on the TSO weak memory model ⋮ Unnamed Item ⋮ CCA-Secure Keyed-Fully Homomorphic Encryption

This page was built for publication: The Benefits of Duality in Verifying Concurrent Programs under TSO

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4608655&oldid=18776254"