NTRS
NTRS - NASA Technical Reports Server
Search
more_vert
Collections
About
News
Help
Login
Press Enter or click the Search button to begin your search.
Back to Results
CoCoSim : Contract-based Compositional Verification of Simulink Models
Document ID
20210010591
Acquisition Source
Ames Research Center
Document Type
Presentation
Authors
Hamza Bourbouh
(Wyle (United States) El Segundo, California, United States)
Andreas Katis
(Wyle (United States) El Segundo, California, United States)
Date Acquired
February 24, 2021
Subject Category
Mathematical And Computer Sciences (General)
Meeting Information
Meeting:
NASA-Boeing Autonomy V&V Project: NASA V&V tool demonstration
Location:
Virtual Presentation
Country:
US
Start Date:
March 1, 2021
End Date:
March 1, 2021
Sponsors:
Ames Research Center
Funding Number(s)
WBS: 15182.03.00.012.001
Distribution Limits
Public
Copyright
Public Use Permitted.
Technical Review
NASA Peer Committee
Keywords
Formal Verification
Simulink models
Lustre
Available Downloads
Name
Type
CoCoSim_demo_slides.pdf
STI
cloud_download
content_copy
visibility
Related Records
There are no records associated with this record.
visibility_off
No Preview Available