Program Verification of FreeRTOS using Microsoft Dafny
Main Author: | Matias, Matthew John |
---|---|
Language: | English |
Published: |
Cleveland State University / OhioLINK
2014
|
Subjects: | |
Online Access: | http://rave.ohiolink.edu/etdc/view?acc_num=csu1400085349 |
Similar Items
-
Marine monitoring network framework based on FreeRTOS and MQTT
by: Zhu Minghui, et al.
Published: (2018-01-01) -
Acceleration of FreeRTOS withSierra RTOS accelerator : Implementation of a FreeRTOS software layer onSierra RTOS accelerator
by: Borgström, Fredrik
Published: (2016) -
A Verified Implementation of the DPLL Algorithm in Dafny†
by: Andrici, C.-C, et al.
Published: (2022) -
Especifica??o do micron?cleo FreeRTOS
utilizando o m?todo B
by: Galv?o, Stephenson de Sousa Lima
Published: (2014) -
Emulering av c-applikationer för ett inbyggt system i Linuxmiljö
by: Logge, Marika
Published: (2021)