Formal verification and software product lines.
Tomoji KishiNatsuko NodaPublished in: Commun. ACM (2006)
Keyphrases
- formal verification
- software product line
- product line
- model checking
- software engineering
- goal driven
- life cycle
- future directions
- model checker
- adult literacy
- bounded model checking
- automated verification
- software development
- learning methodologies
- symbolic model checking
- artificial intelligence
- information systems
- program slicing
- formal methods
- test suite
- design principles
- information technology
- expert systems
- metadata
- real world