1304 search results - page 108 / 261 » Model Checking C Programs Using F-SOFT |
120
Voted
ACMMSP
2005
ACM
15 years 8 months ago
2005
ACM
ct In the past, program monitoring often operates at the code level, performing checks at function and loop boundaries. Recent research shows that profiling analysis can identify ...
EUROSYS
2006
ACM
16 years 2 days ago
2006
ACM
Bugs in kernel-level device drivers cause 85% of the system crashes in the Windows XP operating system [44]. One of the sources of these errors is the complexity of the Windows dr...
113
click to vote
SPIN
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
110
click to vote
SPIN
2000
Springer
15 years 6 months ago
2000
Springer
In this paper, we describe our application of SPIN 1 to model an algorithm used to synchronize the clocks of modules that provide periodic real-time communication over a network. W...
122
click to vote
POPL
2010
ACM
16 years 11 days ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...