Citation
Duggirala, P. S., & Tiwari, A. (2013, 29 September – 4 October). Safety verification for linear systems. Paper presented at the International Conference on Embedded Software (EMSOFT ’13), Montreal, Canada.
Safety Verification for Linear Systems
Read more from SRI
-
SRI and Maka collaborate to help families find thoughtfully curated videos for young children
SRI’s AI-powered APPROVE supports Maka’s expert-led curation of video content for young children.
-
Oprah Daily turns to SRI’s Fiona Baker to explain the sleep science behind menopause
Closing the gap in women’s health research starts with questions like these.
-
Bridging the gap: What SRI’s classroom research reveals about teaching kids to read
A study finds explicit phonics instruction is in place and ready for the next step in improvement.