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 | Date | No Grouping
    Jump to: Article | Book Section | Monograph | Thesis
    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 Nov 22 22:15:47 2024 UTC.
    MURAL - Maynooth University Research Archive Library is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.