MoonWalker: Veri��?cation of .NET Programs

N.H.M. Aan de Brugh, V.Y. Nguyen, T.C. Ruys

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    6 Citations (Scopus)

    Abstract

    MoonWalker is a software model checker for CIL bytecode programs, which is able to detect deadlocks and assertion violations in CIL assemblies, better known as Microsoft .NET programs. The design of MoonWalker is inspired by the Java PathFinder (JPF), a model checker for Java programs. The performance of MoonWalker is on par with JPF. This paper presents the new version of MoonWalker and discusses its most important features.
    Original languageUndefined
    Title of host publicationProceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009)
    EditorsS. Kowalewski, A. Philippou
    Place of PublicationBerlin
    PublisherSpringer
    Pages170-173
    Number of pages4
    ISBN (Print)978-3-642-00767-5
    DOIs
    Publication statusPublished - Mar 2009
    Event15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009) - York, UK
    Duration: 22 Mar 200929 Mar 2009

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Verlag
    Volume5505

    Conference

    Conference15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009)
    Period22/03/0929/03/09
    Other22-29 March 2009

    Keywords

    • METIS-263924
    • EWI-15714
    • FMT-MC: MODEL CHECKING
    • IR-67809

    Cite this