Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant Checking

Authors
Publication date
Publisher

Abstract

Abstract is not available.

    Similar works

    Full text

    thumbnail-image

    Available Versions

    PORTO@iris (Publications Open Repository TOrino - Politecnico di Torino)

    redirect
    oaioai:iris.polito.it:11583/15016...
    Last time updated on 30/10/2019