Whitepapers, eBooks, Case Stories and more
Portrait of Tom Davidson
Tech Talk
Tom Davidson
Senior Sales Engineer
Configit
Turbocharge your Configuration Engine to Easily Manage Increasing Product Complexity
October 29, 2024, 11:00 a.m. EDT / 4:00 p.m. CET
Register now
Type
Topic
Product and Solution
Sort by

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