Potential Synergies of Theorem Proving and Model Checking for Software Product Lines

doi 10.1145/2648511.2648530
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

Integrating Model Checking and Theorem Proving in a Reflective Functional Language

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Model-Driven Product Consolidation Into Software Product Lines

Softwaretechnik-Trends
2012English

Theorem Proving for Prenex Gödel Logic With Delta: Checking Validity and Unsatisfiability

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Model Checking Software

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Software Analysis and Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Mining Existing Assets for Software Product Lines

2000English

Reusing Platform-Specific Models in Model-Driven Architecture for Software Product Lines

2018English

Dynamic Path Reduction for Software Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Granularity in Software Product Lines

2008English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy