Skip to content
@csv2uppaal

csv2uppaal

Popular repositories Loading

  1. csv2uppaal csv2uppaal Public

    Tool chain that translate tables with state/transition protocol descriptions into a network of communicating state machines directly suitable for verification in Uppaal.

    Ruby 1 3

Repositories

Showing 1 of 1 repositories
  • csv2uppaal Public

    Tool chain that translate tables with state/transition protocol descriptions into a network of communicating state machines directly suitable for verification in Uppaal.

    csv2uppaal/csv2uppaal’s past year of commit activity
    Ruby 1 3 1 0 Updated Feb 8, 2012

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…