Checking Flight Rules with TraceContract --- Application of a SCALA DSL for Trace Analysis

H. Barringer, K. Havelund, E. Kurklu, R. Morris

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

    Original languageEnglish
    Title of host publicationhost publication
    Publication statusPublished - Jun 2011
    EventScala Days 2011 - Stanford
    Duration: 1 Jan 1824 → …


    ConferenceScala Days 2011
    Period1/01/24 → …

    Cite this