Efficient verification of concurrent systems using synchronisation analysis and SAT/SMT solving
T. Gibson−Robinson P Antonino and A.W. Roscoe
Journal
ACM Transactions on Software Engineering Methods
Volume
18
Year
2019
T. Gibson−Robinson P Antonino and A.W. Roscoe