Compositional Safety Verification with Max-SMT - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio. Compositional Safety Verification with Max-SMT. In Roope Kaivola, Thomas Wahl, editors, Formal Methods in Computer-Aided Design, FMCAD 2015, Austin, Texas, USA, September 27-30, 2015. pages 33-40, IEEE, 2015.

This author has not been identified. Look up 'Marc Brockschmidt' in GoogleThis author has not been identified. Look up 'Daniel Larraz' in GoogleThis author has not been identified. Look up 'Albert Oliveras' in GoogleThis author has not been identified. It may be one of the following persons:

Enric Rodríguez Carbonell

Look up 'Enric Rodríguez-Carbonell' in GoogleThis author has not been identified. Look up 'Albert Rubio' in Google

runs on WebDSL