Automated verification of the FreeRTOS scheduler in Hip/Sleek

Automated verification of the FreeRTOS scheduler in Hip/Sleek

10.1007/s10009-014-0307-4

Saved in:
Bibliographic Details
Main Authors: Ferreira, J.F., Gherghina, C., He, G., Qin, S., Chin, W.-N.
Other Authors: COMPUTER SCIENCE
Format: Article
Published: 2016
Subjects:
Automated verification
Embedded systems
FreeRTOS
HIP/SLEEK
Operating systems
Separation logic
Task scheduler
Online Access:http://scholarbank.nus.edu.sg/handle/10635/123997
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore

Internet

http://scholarbank.nus.edu.sg/handle/10635/123997

Similar Items