1 - 3 of 3
1
Conference item icon

Conference item

Lifting CDCL to template-based abstract domains for program verification

  • Mukherjee, R, Schrammel, P, Haller, L, et al.
  • 2017-09-27
2
Conference item icon

Conference item

V2c – A Verilog to C translator

  • Mukherjee, R, Tautschnig, M, Kroening, D
  • 2016-04-01
3
Conference item icon

Conference item

Active learning of abstract system models from traces using model checking

  • Yogananda Jeppu, N, Melham, T, Kroening, D
  • 2022-05-31
FILTER RESULTS

TO TOP