1. FORMAL VERIFICATION AND SOFTWARE PRODUCT LINES.
- Author
-
Kishi, Tomoji and Noda, Natsuko
- Subjects
- *
EMBEDDED computer systems , *COMPUTERS , *PRODUCT management , *COMMERCIAL products , *PRODUCT lines , *CONSUMER goods , *CONFIRMATION (Logic) - Abstract
This article discusses verification techniques in software product lines. The article examines the importance of embedded software, and notes that techniques for producing quality embedded has evolved over time. The authors also note that an important objective of product line development is the timely delivery of products, and advocate for the reduction of time taken for both the derivation and verification of products. The article then provides a new technique for developing embedded software, utilizing a scientific model checking technique to design the verification.
- Published
- 2006
- Full Text
- View/download PDF