Compositional safety verification with Max-SMT

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

ISBN: 9780983567851

Any de publicació: 2015

Pàgines: 33-40

Tipus: Aportació congrés

DOI: 10.1109/FMCAD.2015.7542250 GOOGLE SCHOLAR
Font de les dades: Scopus