Skip to end of metadata
Go to start of metadata

Meeting Details

  • Moderator: ssm
  • Protocol: ssm
  • Attendees:
    • aas
    • als
    • lgr
    • nre
    • rvh
    • sdo
    • ssm
  • Start: 10:13
  • End: 10:30

Agenda

SCCharts Model Checking in SPIN (aas)

  • ADD TIC EXAMPLE HERE
  • SCCharts properties are tested after SPIN uses one next step (X)
  • ADD OBSERVER EXAMPLE HERE (stopwatch_observed)
    • Model check time is very long w.r.t. the problem size
  • ADD TRAFFIC LIGHT EXAMPLE
    • CTL vs LTL give different results
  • Test Wristwatch with reasonable properties
  • No labels