The SeaHorn Verification Framework

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-21690-4_20 ◽

2015 ◽

pp. 343-361 ◽

Author(s):

Arie Gurfinkel ◽

Temesghen Kahsai ◽

Anvesh Komuravelli ◽

Jorge A. Navas

Download Full-text