SIGS DATACOM Fachinformationen für IT-Professionals

SOFTWARE MEETS BUSINESS:
Die Konferenz für Software-Architektur
05. - 09. Februar 2018, München

Sessionsdetails

Vortrag: Di 2.1
Datum: Di, 06.02.2018
Uhrzeit: 09:00 - 10:30
cart

Formale Methoden in der Praxis: SMT Solver und Model Checker

Uhrzeit: 09:00 - 10:30
Vortrag: Di 2.1

 

Formale Analyse und Verifikation von Modellen und Programmen werden von vielen Praktikern als „zu kompliziert" oder „praxisuntauglich" verschmäht. Für manche Ansätze mag das stimmen, für andere definitiv nicht. Dieser Vortrag gibt einen Überblick über zwei Verifikationsansätze, die wir in der Praxis verwenden: SMT Solver und Model Checker. Wir illustrieren, wo und wie man sie auf Modellen und Code einsetzen kann, und dass sie eine für Praktiker sinnvolle Ergänzung zum Testen sein können.

Zielpublikum: Entwickler
Voraussetzungen: Solide Programmierkenntnisse
Schwierigkeitsgrad: Anfänger

 

Sponsoren der OOP 2018

  • Accenture Technology Solutions GmbH Goldsponsor
  • Atlassian Goldsponsor
  • German Testing Board e.V. Goldsponsor
  • Intel Software Goldsponsor
  • Volkswagen Goldsponsor
  • andrena objects ag Silbersponsor
  • AppDynamics Silbersponsor
  • IBM Deutschland GmbH Silbersponsor
  • ITech Progress GmbH Silbersponsor
  • Microsoft Deutschland GmbH Silbersponsor
  • Ab Initio Software Germany GmbH Bronzesponsor
  • adesso AG Bronzesponsor
  • agile42 GmbH Bronzesponsor
  • Axway GmbH Bronzesponsor
  • Capgemini Bronzesponsor
  • DEUTSCHE TELEKOM AG Bronzesponsor
  • innoQ Deutschland GmbH Bronzesponsor
  • iteratec GmbH Bronzesponsor
  • New Relic Bronzesponsor
  • NovaTec Consulting GmbH Bronzesponsor
  • OPEN KNOWLEDGE GmbH Bronzesponsor
  • OPITZ CONSULTING GmbH Bronzesponsor
  • Saxonia Systems AG Bronzesponsor
  • Servicetrace GmbH Bronzesponsor
  • ThoughtWorks Deutschland GmbH Bronzesponsor
  • XebiaLabs Bronzesponsor
  • AI Spektrum Partner
  • ASQF Partner
  • Bitkom e.V. Partner
  • Business Application Research Center - BARC GmbH Partner
  • JavaSPEKTRUM Partner
  • OBJEKTspektrum Partner
  • TDWI e.V. Partner