Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Natasha Sharygina
Lessons Learned From Model Checking a NASA Robot Controller
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Scoot: A Tool for the Analysis of SystemC Models