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
    Number of items: 4.

    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

    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

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

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

    This list was generated on Wed Mar 27 22:15:42 2024 UTC.