NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Towards synthesis from assume-guarantee contracts involving infinite theories
External Source
chorus
Document Type
Version of Record
Authors
Andreas Katis (University of Minnesota, Minneapolis, MN)
Andrew Gacek (Rockwell Collins Advanced Technology Center, Cedar Rapids, IA)
Michael W. Whalen (University of Minnesota, Minneapolis, MN)
Date Acquired
October 5, 2024
Publication Information
Publication: Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering
Publisher: ACM
Volume: 60
DOI: 10.1145/2897667.2897675
Funding Number(s)
funding: 4504789784
funding: NNA13AA21C
funding: CNS-1035715
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