FUSION: A Fold and Unfold Annotation Synthesis Tool for Viper-Based Verification
0Citations signalées, ce qui n’est pas une note de qualité
1Institutions déclarées
1Pays d’affiliation déclarés
Rattachement africain : ch. Niveau de preuve : code pays fourni par la source.
Le résumé fourni par la source
This is an archived version of FUSION, a fold and unfold annotation synthesis tool for Viper-based verification.This artifact accompanies our submission to the ISSTA 2026 Tool Demonstrations track. How to use: Extract the ZIP file. Follow the setup and usage instructions in README.md.
Ce résumé expose les affirmations des auteurs. BNTIC ne l’interprète pas comme une validation indépendante des résultats.
Le contrôle bibliographique ouvert
La source scientifique ouverte est momentanément indisponible.
Les institutions déclarées
Une affiliation ne permet pas de déduire la nationalité d’un auteur.