The Benefits of Duality in Verifying Concurrent Programs under TSO.

Parosh Aziz Abdulla Mohamed Faouzi Atig Ahmed Bouajjani Tuan Phong Ngo

Published in: CONCUR (2016)

Keyphrases

concurrent programs
process algebra
model checking
concurrent programming
linear programming
web applications
relational databases
formal specification