Moving towards Context Aware Verification (CAV)

Verifying adaptive behaviour is a critical challenge in the development of context-aware systems due to their complexity and uncertainty. This article from Any Silicon describes the model-based approach that provides a modelling framework to specify the structural and behavioural aspects of a context-aware system.

Read More

2017-03-02T04:49:15+00:002nd March, 2017|Blog, Thought Leadership|