MURAL - Maynooth University Research Archive Library



    Items where Author is "Healy, Andrew"


    Up a level
    Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
    Group by: Item Type | No Grouping
    Number of items: 4.

    Article

    Healy, Andrew and Monahan, Rosemary and Power, James F. (2017) Predicting SMT Solver Performance for Software Verification. Electronic Proceedings in Theoretical Computer Science, 240. pp. 20-37. ISSN 2075-2180

    Book Section

    Healy, Andrew and Monahan, Rosemary and Power, James F. (2016) Evaluating the use of a general-purpose benchmark suite for domain-specific SMT-solving. In: SAC '16 Proceedings of the 31st Annual ACM Symposium on Applied Computing. ACM, pp. 1558-1561. ISBN 9781450337397

    Monograph

    Healy, Andrew and Monahan, Rosemary and Power, James F. (2016) Predicting SMT Solver Performance for Software Verification. Working Paper. arXiv.

    Thesis

    Healy, Andrew (2016) Predicting SMT solver performance for software verification. Masters thesis, National University of Ireland Maynooth.

    This list was generated on Fri Jan 17 22:07:25 2020 UTC.