Cristiano Sousa ist ein Benutzer von Stack Exchange, wenn Sie auf den Link klicken, sehen Sie sein Profil.
Letzte Fragen
- 1 ans
Frama-C/WP kann die Schleifeninvariante mit \at nicht beweisen
el 3 de Juli, 2023 3 Stimmen
Letzte Antworten
-
Hat noch nichts beantwortet
Favoriten-Tags
- 1 x c
- 1 x statik-analyse
- 1 x auftragsbezogenes-design
- 1 x frama-c-in-german-is-frama-c
- 1 x schleifeninvariante