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

id	sg-nus-scholar.10635-123997
record_format	dspace
spelling	sg-nus-scholar.10635-1239972023-10-29T21:02:04Z Automated verification of the FreeRTOS scheduler in Hip/Sleek Ferreira, J.F. Gherghina, C. He, G. Qin, S. Chin, W.-N. COMPUTER SCIENCE Automated verification Embedded systems FreeRTOS HIP/SLEEK Operating systems Separation logic Task scheduler 10.1007/s10009-014-0307-4 International Journal on Software Tools for Technology Transfer 2016-05-17T10:45:10Z 2016-05-17T10:45:10Z 2014-03-18 Article Ferreira, J.F., Gherghina, C., He, G., Qin, S., Chin, W.-N. (2014-03-18). Automated verification of the FreeRTOS scheduler in Hip/Sleek. International Journal on Software Tools for Technology Transfer. ScholarBank@NUS Repository. https://doi.org/10.1007/s10009-014-0307-4 14332779 http://scholarbank.nus.edu.sg/handle/10635/123997 000209673200004 Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
topic	Automated verification Embedded systems FreeRTOS HIP/SLEEK Operating systems Separation logic Task scheduler
spellingShingle	Automated verification Embedded systems FreeRTOS HIP/SLEEK Operating systems Separation logic Task scheduler Ferreira, J.F. Gherghina, C. He, G. Qin, S. Chin, W.-N. Automated verification of the FreeRTOS scheduler in Hip/Sleek
description	10.1007/s10009-014-0307-4
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Ferreira, J.F. Gherghina, C. He, G. Qin, S. Chin, W.-N.
format	Article
author	Ferreira, J.F. Gherghina, C. He, G. Qin, S. Chin, W.-N.
author_sort	Ferreira, J.F.
title	Automated verification of the FreeRTOS scheduler in Hip/Sleek
title_short	Automated verification of the FreeRTOS scheduler in Hip/Sleek
title_full	Automated verification of the FreeRTOS scheduler in Hip/Sleek
title_fullStr	Automated verification of the FreeRTOS scheduler in Hip/Sleek
title_full_unstemmed	Automated verification of the FreeRTOS scheduler in Hip/Sleek
title_sort	automated verification of the freertos scheduler in hip/sleek
publishDate	2016
url	http://scholarbank.nus.edu.sg/handle/10635/123997
_version_	1781789832418164736

Automated verification of the FreeRTOS scheduler in Hip/Sleek

Similar Items