Author:
Andronick June,Lewis Corey,Matichuk Daniel,Morgan Carroll,Rizkallah Christine
Publisher
Springer International Publishing
Reference21 articles.
1. eChronos model and proofs.
https://github.com/echronos/echronos-proofs
2. FreeRTOS.
http://www.freertos.org/
3. The eChronos OS.
http://echronos.systems
4. Andronick, J., Lewis, C., Morgan, C.: Controlled Owicki-Gries concurrency: reasoning about the preemptible eChronos embedded operating system. In: Workshop on Models for Formal Analysis of Real Systems (MARS) (2015)
5. Chandrasekaran, P., Kumar, K.B.S., Minz, R.L., D’Souza, D., Meshram, L.: A multi-core version of FreeRTOS verified for datarace and deadlock freedom. In: MEMOCODE, pp. 62–71. IEEE (2014)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献