Consolidate, compile and consume product models and configuration data on a shared-source-of-truth available to any user, at any location at any time.
Verification of Large State-Event Systems using Compositionality and Dependency Analysis
This paper introduces a technique that uses compositionality and dependency analysis to significantly improve the efficiency of symbolic model checking of state/event models.
