Property Directed Self Composition

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-030-25540-4_9 ◽

2019 ◽

pp. 161-179 ◽

Author(s):

Ron Shemer ◽

Arie Gurfinkel ◽

Sharon Shoham ◽

Yakir Vizel

Download Full-text