Cartesian hoare logic for verifying k-safety properties

Document Details

Document Type: Pub Defense Publication
Publication Date: Jun 02, 2016
Source ID: 10.1145/2908080.2908092

Entities

People

Işıl Dillig
Marcelo C. Sousa

Organizations

Air Force Research Laboratory
National Science Foundation
University of Oxford
University of Texas at Austin