NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Efficient generation of inductive validity cores for safety properties
External Source
chorus
Document Type
Version of Record
Authors
Elaheh Ghassabani (University of Minnesota, USA)
Andrew Gacek (Rockwell Collins, USA)
Michael W. Whalen (University of Minnesota, USA)
Date Acquired
October 5, 2024
Publication Date
November 1, 2016
Publication Information
Publication: Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering
Publisher: ACM
Volume: 4
Issue Publication Date: November 1, 2016
DOI: 10.1145/2950290.2950346
Funding Number(s)
funding: FA8750-12-9-0179
funding: NNA13AA21C
Distribution Limits
Public

Available Downloads

There are no available downloads for this record.

Related Records

There are no records associated with this record.
Document Not Available for PreviewClick to Access Document