Verifying Full Regular Temporal Properties of Programs via Dynamic Program Execution
2019 ◽
Vol 68
(3)
◽
pp. 1101-1116
◽
2020 ◽
Vol 63
(4)
◽
pp. 1270-1281