Compositional safety verification with Max-SMT

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

ISBN: 9780983567851

Year of publication: 2015

Pages: 33-40

Type: Conference paper

DOI: 10.1109/FMCAD.2015.7542250 GOOGLE SCHOLAR
Data source: Scopus