Showing 1 - 2 results of 2 for search 'Paolo Pasini', query time: 0.02s Refine Results
  1. 1
    Improving Bounded Model Checking Exploiting Interpolation-Based Learning and Strengthening

    Improving Bounded Model Checking Exploiting Interpolation-Based Learning and Strengthening by Gianpiero Cabodi, Paolo Enrico Camurati, Marco Palena, Paolo Pasini

    Published 2024-01-01
    Get full text
    Article
  2. 2
    Hardware Model Checking Algorithms and Techniques

    Hardware Model Checking Algorithms and Techniques by Gianpiero Cabodi, Paolo Enrico Camurati, Marco Palena, Paolo Pasini

    Published 2024-06-01
    Get full text
    Article

Search Tools: