Skip to content
Search
Why Configit
Who We Are
About Configit
Management Team
News
Media Coverage
Corporate Responsibility
Security & Compliance
Our CLM Approach
What is Configuration Lifecycle Management
CLM by Industry
Agriculture and Construction Equipment
Automotive
Elevators and Escalators
HVAC
Industrial Automation
Medical Devices
Pumps and Valves
Renewable Energy
Semiconductors
Other Industries
CLM by Role
CLM for the Enterprise
CLM for Engineering
CLM for Sales
CLM Summit
Work With Us
Careers
Partners
Partner Portal
Services and Support
Solutions
Validate and Align PLM and ERP Data
Start Modeling with Configit Ace® Prompt
Validate and Consume SAP AVC Models
CPQ for Complex Products
Sales Configurator
Enterprise Product Configurator
3D Visualization with Unity
Products
Configit Ace®
Configit Quote®
Virtual Tabulation®
Solution Space
Learn
Resources
Blog
Webinars
Tech Talks
Events
Configit Academy
Sample Configurator
Customers
Customers
Customer Stories
Customer Support
Book a demo
Why Configit
Who We Are
About Configit
Management Team
News
Media Coverage
Corporate Responsibility
Security and Compliance
Our CLM Approach
What is Configuration Lifecycle Management
CLM by Industry
CLM Summit
Work With Us
Careers
Partners
Partner Portal
Solutions
Solutions
Validate and Align PLM and ERP Data
Eliminate costly errors caused by misaligned configuration data across PLM, ERP and sales systems.
Model with Configit Ace® Prompt
Save months of time and effort while accelerating time-to-value with Gen-AI solution.
Validate and Consume SAP AVC Models
Ensure zero errors and a better end-user product configuration experience.
CPQ for Complex Products
Deliver 100% valid quotes faster for your configurable products.
Sales Configurator
One integrated configuration platform for all sales channels.
Enterprise Product Configurator
Innovate at scale by aligning and validating product definitions.
3D Visualization with Unity
Combine the best-in-class configuration and 3D visualization technology.
Products
Products
Technology
How It Works
Configit Ace®
SaaS product configuration and variant management solution enabling Configuration Lifecycle Management (CLM).
Configit Quote®
CPQ for the World’s Most Complex Products.
Virtual Tabulation®
Configit’s multi-patented configuration AI technology that handles the most complex products on the market.
Eight Queens Game
Fill in 8 Queens with the Power of VT™
Solution Space - VT™ in Action
Get a complete view of how many product variations exist within your company, using our VT™ Technology.
Learn
Resources
Blog
Webinars
Tech Talks
Events
Configit Academy
Customers
Customers
Customer Stories
Customer Support
Book a demo
Resources
Whitepapers, eBooks, Case Stories and more
CLM 2026
Virtual Event
Registration Open
Configuration Lifecycle Management Summit 2026
The 11th Edition of Configit’s flagship event for leaders driving digital transformation through product configuration.
Sign Up
Type
Academic Papers
Case Stories
Co-developed Whitepapers
eBooks
How-to Whitepapers
Integration Whitepapers
Product Information
Whitepapers
Podcasts
Demos
Topic
Automotive
BOM
Complex Manufacturing
CPQ
Digital Transformation
Engineering
Guided Configuration
Industrial Machinery
Integrations
PLM
Sales
Service
Supply Chain
Sustainability
Product and Solution
Configit Ace®
CLM
Configit Quote®
Solution Space
Virtual Tabulation®
Sort by
Featured
Newest
Symbolic Model Checking of Timed Guarded Commands using Difference Decision Diagrams
Download
Product Configuration over the Internet
Download
Practical Verification of Embedded Software
Download
Partial Model Checking
Download
On Model Checking Infinite-State Systems
Download
Nonstochastic Analysis of Manufacturing Systems Using Timed-Event Graphs
Download
Fast Backtrack-Free Product Configuration Using a Precompiled Solution Space Representation
Download
Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion
Download
Difference Decision Diagrams
Download
Comparing Two Implementations of a Complete and Backtrack-Free Interactive Configurator
Download
Boolean Expression Diagrams
Download
BDD-based Recursive and Conditional Modular Interactive Product Configuration
Download
An Asynchronous Process Algebra with Multiple Clocks
Download
An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems
Download
A Compositional Proof System for the Modal mu-Calculus
Download
A Comparison of Modular Verification Techniques
Download
1
2
3
4
