Varieties of Static Analyzers: A Comparison with ASTRÉE
Résumé
We discuss the characteristic properties of ASTRÉE, an automatic static analyzer for proving the absence of runtime errors in safety-critical real-time synchronous control/command C programs, and compare it with a variety of other program analysis tools.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...