614 search results - page 79 / 123 » LCLint: A Tool for Using Specifications to Check Code |
BIRTHDAY
2009
Springer
14 years 24 days ago
2009
Springer
An extended specification for aspects, and a new verification method based on model checking are used to establish the correctness of strongly-invasive aspects, independently of a...
BMCBI
2010
13 years 9 months ago
2010
Background: Over the past two decades more than fifty thousand unique clinical and biological samples have been assayed using the Affymetrix HG-U133 and HG-U95 GeneChip microarray...
BMCBI
2008
13 years 9 months ago
2008
Background: Expressed sequence tag (EST) collections are composed of a high number of single-pass, redundant, partial sequences, which need to be processed, clustered, and annotat...
ISSTA
1996
ACM
14 years 28 days ago
1996
ACM
We illustrate the application of Nitpick, a specification checker, to the design of a style mechanism for a word processor. The design is cast, along with some expected properties...
SIGSOFT
2000
ACM
14 years 1 months ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...