Compositional safety verification with Max-SMT

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

ISBN: 9780983567851

Datum der Publikation: 2015

Seiten: 33-40

Art: Konferenz-Beitrag

DOI: 10.1109/FMCAD.2015.7542250 GOOGLE SCHOLAR
Datenquelle: Scopus