University of Limerick Institutional Repository

Browsing LERO - Project partner authors by Author "Fischer, Bernd"

DSpace Repository

Browsing LERO - Project partner authors by Author "Fischer, Bernd"

Sort by: Order: Results:

  • Cordeiro, Lucas; Fischer, Bernd; Marques-Silva, Joao (IEEE Computer Society, 2012)
    Propositional bounded model checking has been applied successfully to verify embedded software but remains limited by increasing propositional formula sizes and the loss of high-level information during the translation ...

Search ULIR


Browse

My Account

Statistics