University of Limerick Institutional Repository

Browsing Faculty of Science and Engineering by Subject "verification"

DSpace Repository

Browsing Faculty of Science and Engineering by Subject "verification"

Sort by: Order: Results:

  • Linehan, Eamonn; O'Toole, Eamonn; Clarke, Siobhán (Association for Computing Machinery, 2012)
    Developing testbenches for dynamic functional verification of hardware designs is a software inten- sive process that lies on the critical path of electronic system design. The increasing capabilities of electronic ...
  • Leen, Gabriel; Heffernan, Donal (IEEE Computer Society, 2007)
    Analysis estimates that more than 80% of all current innovations within vehicles are based on distributed electronic systems. Critical to the functionality and application domain of such systems is the underlying ...
  • Pluska, Michal; Sinclair, David (20th European Meeting on Cybernetics and System Research, 2010)
    Embedded system interacting with physical world should be designed with high degree of safety. In most existing design approaches dealing with such systems verification is done afterwards what may lead to redesign problems. ...
  • Holub, Viliam; Parsons, Trevor; O'Sullivan, Patrick; Murphy, John (Association for Computing Machinery, 2009)
    We present an approach and implementation for run-time correlation of large volumes of log data and symptom matching of know issues in the context of large enterprise applications. Our solution provides for (a) automatic ...
  • 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 ...
  • Liu, Zhiying (University of Limerick, 2011)
    The problem to be studied in this thesis is how to verify a set of mathematical design documents in the sense that if each component is implemented correctly, the whole system should work together harmoniously to satisfy ...

Search ULIR


My Account