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

Description
Summary:	10.1007/s10009-014-0307-4

Similar Items