A tutorial on UPPAAL

Gerd Behrmann, Alexandre David, Kim G. Larsen

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

    1037 Citations (Scopus)
    454 Downloads (Pure)

    Abstract

    This is a tutorial paper on the tool Uppaal. Its goal is to be a short introduction on the flavor of timed automata implemented in the tool, to present its interface, and to explain how to use the tool. The contribution of the paper is to provide reference examples and modeling patterns.
    Original languageEnglish
    Title of host publicationFormal Methods for the Design of Real-Time Systems
    Subtitle of host publicationInternational School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures
    EditorsMarco Bernardo, Flavio Corradini
    Place of PublicationBerlin, Heidelberg
    PublisherSpringer
    Pages200-236
    ISBN (Electronic)978-3-540-30080-9
    ISBN (Print)978-3-540-23068-7
    DOIs
    Publication statusPublished - 2004
    EventInternational School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004 - Bertinoro, Italy
    Duration: 13 Sep 200418 Sep 2004

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer
    Volume3185
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    ConferenceInternational School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004
    Abbreviated titleSFM-RT
    CountryItaly
    CityBertinoro
    Period13/09/0418/09/04

    Keywords

    • Integer variable
    • Critical section
    • Safety property
    • Reachable state
    • Liveness property

    Fingerprint

    Dive into the research topics of 'A tutorial on UPPAAL'. Together they form a unique fingerprint.

    Cite this