Program Verification of FreeRTOS using Microsoft Dafny

Program Verification of FreeRTOS using Microsoft Dafny

Bibliographic Details
Main Author: Matias, Matthew John
Language:English
Published: Cleveland State University / OhioLINK 2014
Subjects:
Computer Science
software verification
program verification
software engineering
formal methods
program correctness
Microsoft Dafny
FreeRTOS
computer science
Online Access:http://rave.ohiolink.edu/etdc/view?acc_num=csu1400085349

Internet

http://rave.ohiolink.edu/etdc/view?acc_num=csu1400085349

Similar Items