Specifying and Verifying Concurrent C Programs with TLA+
Keyword(s):
Keyword(s):
2018 ◽
Vol 18
(3-4)
◽
pp. 470-483
◽
Keyword(s):
1981 ◽
Vol 60
(2)
◽
pp. 159-166
Keyword(s):
Keyword(s):