|
Using formal reasoning on a model of tasks for FreeRTOS Cheng S., Woodcock J., D’souza D. Formal Aspects of Computing 27(1): 167-192, 2015. Type: Article
Z (pronounced Zed) is a rigorous specification language developed in the 1980s. It uses sets to describe system states plus required invariants, operations, and pre- and post-conditions. This paper is a tutorial demonstrating the usabi...
|
Mar 25 2015 |