Verification, Model Checking, and Abstract Interpretation (VMCAI)

Robert Könighofer (Speaker)

Activity: Talk or presentation › Talk at conference or symposium › Science to science

Description

Talk: SAT-Based Synthesis Methods for Safety Specs
Period19 Jan 2014
Held atVerification, Model Checking, and Abstract Interpretation (VMCAI)
Event typeConference