AbsInt: Einladung zu Veranstaltungen im Juni 2020 (Webinar | Online)

Am Donnerstag, den 18. Juni 2020, laden wir Sie herzlich zu einem neuen gemeinsamen Webinar mit Vector Informatik ein. Das englischsprachige Webinar mit anschließender Diskussion startet um 16 Uhr und trägt den Titel Combining Dynamic Testing and Static Analysis for ISO 26262 Development. Referenten sind Daniel Kästner (AbsInt), Mohamad Ballouk und Winfried Schröder (beide VECTOR). Auf der Registrierungsseite finden Sie weitere Informationen.

In der Woche darauf nehmen wir – wie in den letzten Jahren auch – am Forum Safety & Security teil. Die traditionsreiche Veranstaltung geht neue Wege und findet am 23. und 24. Juni virtuell statt. Kommen Sie am virtuellen Ausstellungsstand während der gesamten Veranstaltungsdauer mit unseren ProduktexpertInnen ins Gespräch, und erleben Sie am 23. Juni den Vortrag von Daniel Kästner über Statische Taint-Analyse zur Erkennung von Spectre-Verwundbarkeiten (16:40 – 17:20 Uhr, Teil der Session 4: Automotive II Security). Bitte melden Sie sich hier mit dem Gutscheincode FSS2020SC an. Sie erhalten damit einen Rabatt von 10% auf die Teilnahmegebühr.

AbsInt liefert modernste Softwarewerkzeuge und Dienstleistungen zur Entwicklung, Analyse und Zertifizierung von sicherheitskritischer Software. Produktschwerpunkte sind statische Analysetools zur Prüfung von Codierrichtlinien, zur Timing- und Stack-Analyse und zum Entdecken kritischer Programmierfehler in C/C++-Code sowie der formal verifizierte Compiler CompCert. Ein breites Spektrum von Toolpräsentationen finden Sie auf unserem YouTube-Kanal, einschließlich der Informationen zu unserem aktuellen Produktrelease 20.04.

Eventdatum: 18.06.20 – 24.06.20

Eventort: Online