2881 search results - page 148 / 577 » Model Checking for Programming Languages using Verisoft |
159
click to vote
IFIP
2007
Springer
16 years 1 months ago
2007
Springer
The shift of development effort onto the model level, as postulated by MDA, provides an opportunity for establishing a set of modelling constructs that is more intuitive and homoge...
196
click to vote
IEEEPACT
2002
IEEE
16 years 4 days ago
2002
IEEE
Java exception checks are designed to ensure that any faulting instruction causing a hardware exception does not terminate the program abnormally. These checks, however, impose so...
232
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
Image and video codecs are prevalent in multimedia devices, ranging from embedded systems, to desktop computers, to high-end servers such as HDTV editing consoles. It is not uncom...
194
click to vote
APLAS
2008
ACM
15 years 9 months ago
2008
ACM
Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...
175
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
Concurrent programs are difficult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under ...