16725 search results - page 8 / 3345 » Engineering Software Correctness |
87
Voted
EUROMICRO
1998
IEEE
15 years 3 months ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
ICST
2008
IEEE
15 years 6 months ago
2008
IEEE
Real-time embedded systems typically include concurrent tasks of different priorities with time-dependent operations accessing common resources. In this context, unsynchronized pa...
102
click to vote
CODES
2001
IEEE
15 years 3 months ago
2001
IEEE
"Function Tokens" and "NOP Fills" are two methods proposed by various authors to deal with Instruction Pointer corruption in microcontrollers, especially in th...
SEFM
2009
IEEE
15 years 6 months ago
2009
IEEE
—In the modern car, electronic devices are even employed for safety-critical missions like brake control, where failures might cost human lives. Among various approaches to incre...
EDBTW
2006
Springer
15 years 3 months ago
2006
Springer
For several reasons a database may not satisfy a given set of integrity constraints (ICs), but most likely most of the information in it is still consistent with those ICs; and cou...