1304 search results - page 102 / 261 » Model Checking C Programs Using F-SOFT |
134
click to vote
KBSE
1997
IEEE
15 years 7 months ago
1997
IEEE
Given a program S and a precondition Q, the strongest postcondition, denoted sp(S Q), is defined as the strongest condition that holds after the execution of S, given that S term...
111
click to vote
ACSAC
2010
IEEE
15 years 29 days ago
2010
IEEE
Leakage of confidential information represents a serious security risk. Despite a number of novel, theoretical advances, it has been unclear if and how quantitative approaches to ...
133
click to vote
ICPP
2002
IEEE
15 years 7 months ago
2002
IEEE
A software cache implements instruction and data caching entirely in software. Dynamic binary rewriting offers a means to specialize the software cache miss checks at cache miss t...
107
Voted
CLEIEJ
2010
15 years 10 days ago
2010
Holonic networks constitute a type of organizational structures widely used at manufacturing enterprises. In an educational context, however, this type of structures remains practi...
127
click to vote
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...