SMT-based verification of parameterized systems

Document Details

Document Type
Pub Defense Publication
Publication Date
Nov 01, 2016
Source ID
10.1145/2950290.2950330

Entities

People

  • Arie Gurfinkel
  • Sharon Shoham
  • Yuri Meshman

Organizations

  • European Research Council
  • Technion – Israel Institute of Technology
  • Tel Aviv University
  • United States Department of Defense
  • University of Waterloo