๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Model checking C source code for embedded systems

โœ Scribed by Bastian Schlich; Stefan Kowalewski

Publisher
Springer
Year
2009
Tongue
English
Weight
803 KB
Volume
11
Category
Article
ISSN
1433-2779

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Verified Code Generation for Embedded Sy
Verified Code Generation for Embedded Systems
โœ Sabine Glesner; Rubino GeiรŸ; Boris Boesler ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 310 KB

Digital signal processors provide specialized SIMD (single instruction multiple data) operations designed to dramatically increase performance in embedded systems. While these operations are simple to understand, their unusual functions and their parallelism make it difficult for automatic code gene

A framework for preprocessor-aware C sou
A framework for preprocessor-aware C source code analyses
โœ Greg J. Badros; David Notkin ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 206 KB

Analyses of C source code usually ignore the C preprocessor because of its complexity. Instead, these analyses either define their own approximate parser or scanner, or else they require that their input already be preprocessed. Neither approach is entirely satisfactory: the first gives up accuracy