Ansprechperson
Dr.-Ing. Jens Gerlach
Wiss. Mitarbeiter (Senior)
Geschäftsbereich
SQC
+49 30 3463-7458
shutterstock/ hxdbzxy
Erster »Frama-C Day«
News vom 12. März 2015
Am 13. März 2015 findet am CEA LIST in der Nähe von Paris der erste »Frama-C Day« statt. Dr. Jens Gerlach, Forschungsgruppenleiter Verifikation, hält dort einen Vortrag mit dem Titel »Towards a Formally Verified C++ Standard Library«.
Frama-C ist ein Werkzeug zur statischen Analyse von C-Software. Am SQC wird
Frama-C im Bereich Verifikation verwendet.
FOKUS auf Twitter
FOKUS auf Facebook
FOKUS auf YouTube
FOKUS auf LinkedIn
FOKUS auf Xing
FOKUS auf Mastodon