10870 search results - page 405 / 2174 » Model Checking Programs |
186
Voted
CLIMA
2004
15 years 8 months ago
2004
Abstract. Multidimensional dynamic logic programs (MDLPs) are suitable to represent knowledge dynamic in time, or more generally, information coming from various sources, partially...
135
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Multithreaded programs are prone to errors caused by unintended interference between concurrent threads. This paper focuses on verifying that deterministically-parallel c...
173
click to vote
SEFM
2007
IEEE
16 years 1 months ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
178
click to vote
SAS
2007
Springer
16 years 29 days ago
2007
Springer
Interval analysis seeks static lower and upper bounds on the values of program variables. These bounds are useful, especially for inferring invariants to prove buffer overflow ch...
146
Voted
ICMCS
2005
IEEE
16 years 14 days ago
2005
IEEE
In this paper, a method for automatically detecting the end of lively broadcasted sports programs is proposed, which enables users to record the full TV programs when they run ove...