5. Safe design guaranteed by construction
Safe design approaches take a different approach: rather than grafting verification tools onto the usual design flow, they propose to rethink the entire design flow by producing directly provable models, and transformations of these models into executable code or hardware components, preserving the initial system specification. The article
5.1 Principle of method B
The B
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
Safe design guaranteed by construction
Conclusion
Article included in this offer
"Software technologies and System architectures"
(
227 articles
)
Updated and enriched with articles validated by our scientific committees
A set of exclusive tools to complement the resources
Bibliography
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
