Ansprechpartner
Dr.-Ing. Jens Gerlach
Gruppenleiter Verifikation
Geschäftsbereich SQC
Tel.: +49 30 3463-7458

Mikrophone bei Konferenz
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.


Weiterführende Links: