The Benefits of Duality in Verifying Concurrent Programs under TSO.

Parosh Aziz Abdulla Mohamed Faouzi Atig Ahmed Bouajjani Tuan Phong Ngo

Published in: CoRR (2017)

Keyphrases

concurrent programs
process algebra
model checking
concurrent programming
linear programming
concurrent systems
concurrent processes
machine learning
formal specification