Rajdeep Mukherjee

Rajdeep Mukherjee

Doctoral Student

Student, Balliol College

Leaving date: 19th February 2018

Selected Publications

View AllManage publications

• Abstract Interpretation Perspective of Bounded Model Checking Using CDCL

  Rajdeep Mukherjee‚ Peter Schrammel‚ Leopold Haller and Daniel Kroening

  In VSTTE (Submitted). 2017.

  Details about Abstract Interpretation Perspective of Bounded Model Checking Using CDCL | BibTeX data for Abstract Interpretation Perspective of Bounded Model Checking Using CDCL

• Model Checking Using Abstract Reasoning

  Rajdeep Mukherjee

  In ACM SIGDA PhD Forum‚ Design Automation Conference. 2017.

  Details about Model Checking Using Abstract Reasoning | BibTeX data for Model Checking Using Abstract Reasoning

• Formal Techniques for Effective Co−verification of HW/SW Co−designs

  Rajdeep Mukherjee‚ Mitra Purandare‚ Raphael Polig and Daniel Kroening

  In DAC. 2017.

  Details about Formal Techniques for Effective Co−verification of HW/SW Co−designs | BibTeX data for Formal Techniques for Effective Co−verification of HW/SW Co−designs

Activities

• Verification

Supervisors