Loading ...
Sorry, an error occurred while loading the content.
  • Back
  • About Group

  • Join Group
, added in the last 7 days
New MessagesSee All
  • timing condition and Shortest Strategy

    Hello I have a question about UPPAAL action for using time condition as below. Suppose we have two states (as shown in attached picture). How is UPPAAL timing

    stu_comp 2 days ago
  • Re: normal distribution

    ... One more thing: normal distribution has two tails which are infinite (in principle), so your Normal(4.0,1.0) may generate negative values which will break

    marius.mikucionis 15 days ago
  • Re: normal distribution

    2017-11-16 14:49 GMT+01:00 yooway@... [uppaal] < ... Dear Yuhui, In short: it works, it's just you are using probability estimation queries which are

    marius.mikucionis 15 days ago
Fetching Sponsored Content...

Group Description

UPPAAL is an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.).

The tool is developed in collaboration between the Design and Analysis of Real-Time Systems group at Uppsala University, Sweden and Basic Research in Computer Science at Aalborg University, Denmark. For more information about UPPAAL see the web site.

This email list is intended for open discussions of UPPAAL related issues. To avoid spam, messages from new members are moderated.

Group Information

  • 665
  • Software
  • Nov 15, 2000
  • English

Group Settings

  • This is a public group.
  • Attachments are permitted.
  • Members cannot hide email address.
  • Listed in Yahoo Groups directory.
  • Membership does not require approval.
  • Messages from new members require approval.
  • All members can post messages.

Message History