Preface to the Special Section Issue on Improving Software Quality through Formal Methods
Résumé
This special issue is dedicated to the presentation of novel results in the scope of formal methods for the verification and testing of software. The papers included in the special issue showcase approaches that successfully combine a rigorous and formal background with the capability to address real software applications in realistic settings.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...