Skip to main content

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