Verification, Model Checking, and Abstract Interpretation (VMCAI)

Robert Könighofer (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

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