Compositional safety verification with Max-SMT

  1. Brockschmidt, M.
  2. Larra, D.
  3. Oliveras, A.
  4. Rodrlguez-Carbonell, E.
  5. Rubio, A.
Actas:
Proceedings of the 15th Conference on Formal Methods in Computer-Aided Design, FMCAD 2015

ISBN: 9780983567851

Año de publicación: 2015

Páginas: 33-40

Tipo: Aportación congreso

DOI: 10.1109/FMCAD.2015.7542250 GOOGLE SCHOLAR
Fuente de los datos: Scopus