Verification Based on Set-Abstraction Using the AIF Framework

    Research output: Book/ReportReport

    311 Downloads (Pure)


    The AIF framework is a novel method for analyzing advanced security protocols, web services, and APIs, based a new abstract interpretation method. It consists of the specification language AIF and a translation/abstraction processes that produces a set of first-order Horn clauses. These can then be checked with several back-ends such as SPASS. We discuss in this article how to use AIF for modeling of a variety of examples.
    Original languageEnglish
    Place of PublicationKgs. Lyngby
    PublisherTechnical University of Denmark, DTU Informatics, Building 321
    Publication statusPublished - 2010
    SeriesIMM-Technical Report-2010-09


    Dive into the research topics of 'Verification Based on Set-Abstraction Using the AIF Framework'. Together they form a unique fingerprint.

    Cite this