571 search results - page 1 / 115 » A Case Study in Parallel Verification of Component-Based Sys... |
ENTCS
2008
14 years 9 months ago
2008
CBSE
2006
Springer
15 years 1 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
DAC
2005
ACM
14 years 11 months ago
2005
ACM
Parallelism in processor architecture and design imposes a verification challenge as the exponential growth in the number of execution combinations becomes unwieldy. In this paper...
100
click to vote
ISORC
1999
IEEE
15 years 1 months ago
1999
IEEE
Component-based software development is a promising way to improve quality, time to market and handle the increasing complexity of software for real-time systems. In this paper th...
ISORC
2005
IEEE
15 years 3 months ago
2005
IEEE
EarlGray is a component-based Java virtual machine (JVM) that can be configured to satisfy various kinds of requirements for building future information appliances and embedded s...