Publications for All Years (741 out of 741)

  • The SeaHorn Verification Framework

  • Published at: Conference: CAV-15; San Francisco, CA
  • Date: 07/18/15
  • Authors: Jorge Navas Laserna, Arie Gurfinkel, Temesghen KahsaiAzene, Anvesh Komuravelli
  • From Pixels to Planets

  • Published at: Conference: IEEE Conference on Autonomic Computing (ICAC 2015): Grenoble, France
  • Date: 07/07/15
  • Authors: Lee Brownston, Jon Jenkins