1492 search results - page 176 / 299 » Automatic Software Model Checking Using CLP |
IWPC
2008
IEEE
15 years 8 months ago
2008
IEEE
Libraries are the most widespreaded form of software reuse. In order to properly use a library API, its clients should fulfill a series of (many times implicit) assumptions made ...
100
click to vote
EUROSYS
2007
ACM
15 years 10 months ago
2007
ACM
Most implementations of critical Internet protocols are written in type-unsafe languages such as C or C++ and are regularly vulnerable to serious security and reliability problems...
119
click to vote
DAC
2004
ACM
16 years 2 months ago
2004
ACM
Efficient energy and performance estimation of embedded software is a critical part of any system-level design flow. Macromodeling based estimation is an attempt to speed up estim...
141
click to vote
SIGSOFT
2003
ACM
16 years 2 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
109
click to vote
SIGSOFT
2004
ACM
15 years 7 months ago
2004
ACM
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite e...