2881 search results - page 148 / 577 » Model Checking for Programming Languages using Verisoft |
109
click to vote
IFIP
2007
Springer
15 years 11 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...
143
Voted
IEEEPACT
2002
IEEE
15 years 10 months 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...
180
click to vote
IPPS
2006
IEEE
15 years 11 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...
146
Voted
APLAS
2008
ACM
15 years 7 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...
132
click to vote
KBSE
2007
IEEE
15 years 11 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 ...