42 search results - page 9 / 9 » Computationally sound verification of source code |
ICS
2005
Tsinghua U.
13 years 11 months ago
2005
Tsinghua U.
Performance simulation tools must be validated during the design process as functional models and early hardware are developed, so that designers can be sure of the performance of...
GECCO
2006
Springer
13 years 9 months ago
2006
Springer
Embedded systems are often used in a safety-critical context, e.g. in airborne or vehicle systems. Typically, timing constraints must be satisfied so that real-time embedded syste...