1926 search results - page 36 / 386 » Modeling and Model Checking Software Product Lines |
155
click to vote
HASE
2007
IEEE
15 years 11 months ago
2007
IEEE
Fault Tree Analysis (FTA) is a safety-analysis technique that has been recently extended to accommodate product-line engineering for critical domains. This paper describes a tool-...
141
click to vote
SCAM
2009
IEEE
15 years 11 months ago
2009
IEEE
ing Abstractions in Model Checking and Testing Michael Achenbach Klaus Ostermann
104
Voted
SPLC
2008
15 years 6 months ago
2008
CACM
2006
15 years 5 months ago
2006
141
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
Formal verification using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the specification logic...