Verification, Model Checking, and Abstract Interpretation (VMCAI)

  • Robert Könighofer (Redner/in)

Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

Beschreibung

Talk: SAT-Based Synthesis Methods for Safety Specs
Zeitraum19 Jan. 2014
EreignistitelVerification, Model Checking, and Abstract Interpretation (VMCAI)
VeranstaltungstypKonferenz