Computer Aided Verification, CAV 2015

Article Details
Title: The SeaHorn Verification Framework
Article URLs:
Alternative Article URLs:
Authors: Arie Gurfinkel
  • Carnegie Mellon University, Software Engineering Institute
Temesghen Kahsai
  • NASA Ames
  • Carnegie Mellon University
Anvesh Komuravelli
  • Carnegie Mellon University, Computer Science Department
Jorge A. Navas
  • NASA Ames
  • SGT, Pittsburgh
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers: 1422705
DBLP Key: conf/cav/GurfinkelKKN15
Author Comments:

Discuss this paper and its artifacts below