Logic Verification of Product-Line Variant Requirements.
Shamim RiponSk. Jahir HossainKeya AzadMehidee HassanPublished in: CoRR (2014)
Keyphrases
- product line
- asynchronous circuits
- software product line
- verification method
- model checking
- product lines
- model checker
- software development
- logic programming
- bounded model checking
- automated reasoning
- formal verification
- linear temporal logic
- modal logic
- software engineering
- xml documents
- classical logic
- smart card