1926 search results - page 53 / 386 » Modeling and Model Checking Software Product Lines |
149
click to vote
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
152
Voted
MEMOCODE
2006
IEEE
15 years 11 months ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
143
click to vote
KBSE
2009
IEEE
15 years 11 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
143
click to vote
ISCIS
2004
Springer
15 years 10 months ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
242
click to vote
POPL
2005
ACM
16 years 5 months ago
2005
ACM
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...