BMC with Memory Models as Modules

Hernan Ponce-de-Leon, Florian Furbach, Keijo Heljanko, Roland Meyer

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Originalspråkengelska
Titel på gästpublikationProceedings of the 18th Conference onFormal Methods in Computer-Aided Design (FMCAD 2018) Austin, Texas, USA, October 30 – November 2, 2018
RedaktörerNikolaj Bjørner , Arie Gurfinkel
Antal sidor9
FörlagIEEE
Utgivningsdatum2018
Sidor22-30
ISBN (tryckt)978-1-5386-7567-0
ISBN (elektroniskt)978-0-9835678-8-2
DOI
StatusPublicerad - 2018
MoE-publikationstypA4 Artikel i en konferenspublikation
EvenemangConference on Formal Methods in Computer-Aided Design - Austin, Förenta Staterna (USA)
Varaktighet: 30 okt 20182 nov 2018
Konferensnummer: 18
https://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD18/

Vetenskapsgrenar

  • 113 Data- och informationsvetenskap

Citera det här