Formal Methods – Just Enough

Version 1.1.0.0 (22,7 Mo) par Yogananda Jeppu
A brief overview of Formal Methods
5.0
(2)
182 téléchargements
Mise à jour 12 août 2017
Afficher la licence sur GitHub

This has a presenttaion on testing Safety Critical Control Systems and a brief introduction to Formal Methods

Citation pour cette source

Yogananda Jeppu (2024). Formal Methods – Just Enough (https://github.com/yvjeppu/Safety_Critical_Control), GitHub. Extrait(e) le .

Compatibilité avec les versions de MATLAB
Créé avec R2016a
Compatible avec toutes les versions
Plateformes compatibles
Windows macOS Linux
Catégories
En savoir plus sur Verification, Validation, and Test dans Help Center et MATLAB Answers
Tags Ajouter des tags

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Les versions qui utilisent la branche GitHub par défaut ne peuvent pas être téléchargées

Version Publié le Notes de version
1.1.0.0

This file was removed earlier. It is now in the GitHub repository.
I have updated the presentation with a simple example. I have worked out this example using theorem proving using the CVC4, Model checking using NuSMV and Simulink Design Verifier, Abstract Interpretation using Polyspace.
Pour consulter ou signaler des problèmes liés à ce module complémentaire GitHub, accédez au dépôt GitHub.
Pour consulter ou signaler des problèmes liés à ce module complémentaire GitHub, accédez au dépôt GitHub.