276 search results - page 26 / 56 » Dynamic Path Reduction for Software Model Checking |
ERSHOV
2009
Springer
13 years 6 months ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...
FSTTCS
2007
Springer
14 years 2 months ago
2007
Springer
We examine a bidirectional Propositional Dynamic Logic (PDL) for message sequence charts (MSCs) extending LTL and TLC− . Every formula is translated into an equivalent communicat...
PASTE
2004
ACM
14 years 2 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
CBSE
2006
Springer
14 years 11 days 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...
ICMCS
2005
IEEE
14 years 2 months ago
2005
IEEE
The software codec on mobile device introduces significant power consumption because the energy efficiency of general processor based system is much lower than that of the dedicat...