• Hauptnavigation
  • Seiteninhalt
  • Inhalt
  • Hilfe & Kontakt
Suche Universität Konstanz
  • Accessibility
    • University
    • Research
    • Study
    • Teaching
    • campus.kn

  • Log in with your university's account to access password-protected areas.

    Lost credentials?
Software and Systems Engineering - Prof. Dr. Stefan Leue

SpinCause

  • Members
    • Members
    • Prof. Dr. Stefan Leue
    • Research Staff
    • Administration Office
    • Alumni
  • Research
    • Research
    • QuantUM
    • CausCheck
    • CauseJMu
    • DiRePro
    • IMCOS
    • Tools
    • Abgeschlossene Projekte
  • Teaching
    • Teaching
    • Student-Information
    • Projects and Theses
    • Current ZEuS
    • Summer Term 2023
    • Current Term
    • Past Terms
  • Publications
    • Publications
    • Publications
    • Presentation
Department of Computer and Information Science Software and Systems Engineering - Prof. Dr. Stefan Leue Research Tools SpinCause
  • TarTar
  • QuantUM
  • CausCheck
  • CauseJMu
  • DiRePro
    • Real-Time Systems
    • Probabilistic Systems
  • Directed Model Checking
  • IMCOS
    • IBOC
    • aLive
    • PONES
  • Tools
    • TarTar
    • SpinCause
    • SDN-SafeCheck
    • K* Algorithm (K Star)
    • DiPro
    • MESA
    • VIP
    • IBOC
  • Completed Research Projects
    • VIP
    • Visual Modeling and Formal Validation
    • Formal Modeling and Validation of Distributed, Object-Oriented Systems
    • Message Sequence Charts and Message Flow Graphs
    • Efficient, Parallel Protocol Implementation
    • SDL, Real-Time and Quality of Service

SpinCause - Causality Checking

  • SpinCause Source Code
  • Promela Model of Railway Crossing Case Study
  • Promela Model of Airbag Case Study
To top
  • Impressum, Contact and Legal Notice
  • Information on data protection
  • Job openings
  • Information on accessibility
  • Counseling in cases of conflicts/discrimination
  • Contact page editor
  • Facebook
  • Twitter
  • YouTube
  • iTunes U
  • Instagram

© Universität Konstanz 2023 Page Identifier: 88037

Search University of Konstanz

  • Search pages

Results

Suggestions