Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning
Liew, Vincent ; Beame, Paul ; Devriendt, Jo ; Elffers, Jan ; Nordstrom, Jakob Ivrii, Alexander ; Hunt, Warren A. ; Weissenbacher, Georg ; Strichman, Ofer
2020 Formal Methods in Computer Aided Design (FMCAD), 2020, p.194-204FMCAD Association
Texto completo disponível
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 