1304 search results - page 166 / 261 » Model Checking C Programs Using F-SOFT |
137
click to vote
FMSD
2002
15 years 3 months ago
2002
Combining verification methods developed separately for software and hardware is motivated by the industry's need for a technology that would make formal verification of reali...
124
click to vote
LCPC
1999
Springer
15 years 7 months ago
1999
Springer
One of the challenges present to a Java compiler is Java’s frequent use of runtime exceptions. These exceptions affect performance directly by requiring explicit checks, as wel...
117
click to vote
HPDC
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper, we introduce the Join-Elect-Leave (JEL) model, a simple yet powerful model for tracking the resources participating in an application. This model is based on the co...
149
Voted
VL
2005
IEEE
15 years 9 months ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...
125
click to vote
ILP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper, we study how a logical form of scientific modelling that integrates together abduction and induction can be used to understand the functional class of unk...