Syswonder
Developing a new OS infrastructure for intelligent in-situ edge computing
Pinned Loading
Repositories
Showing 10 of 105 repositories
- Veri-easy Public
A lightweight and automated framework that combines multiple testing and proof (TAP) techniques to establish functional equivalence between the verified and original implementations
Top languages
Loading…
Most used topics
Loading…