3. Formal methods for functional verification
Formal verification of a system's functional properties consists of using a formal model describing the system's behaviors and a specification model defining expected behavior templates, to determine by mathematical reasoning (possibly automated in an algorithm where possible) whether the behaviors of the system model comply with the templates defined by the specification.
The different approaches to functional verification vary according to :
the nature of the model to be analyzed ;
the nature of the properties to be verified.
Nature of the model to be analyzed. The model can be finite (for example, a cache coherence protocol studied for a 5-cache model) or parameterized (the same protocol studied for a number n of caches, n being a parameter). In the first case,...
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
Formal methods for functional verification
Validation assistance (by simulation)
Bibliography
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
Article included in this offer
"Software technologies and System architectures"
(
234 articles
)
Updated and enriched with articles validated by our scientific committees
A set of exclusive tools to complement the resources
