1356 search results - page 52 / 272 » The ideal of verified software |
WCRE
1999
IEEE
15 years 4 months ago
1999
IEEE
Code duplication, plausibly caused by copying source code and slightly modifying it, is often observed in large systems. Clone detection and documentation have been investigated b...
ISSE
2010
14 years 10 months ago
2010
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...
190
click to vote
POPL
2005
ACM
16 years 4 days 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...
EWSA
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
115
click to vote
CLEIEJ
2010
14 years 9 months ago
2010
Software process assessments have been used to verify the conformance with quality reference models or standards, usually in a context of software process improvement programs. Mo...