Package Details: uppaal5 5.0.0-2

Git Clone URL: https://aur.archlinux.org/uppaal5.git (read-only, click to copy)
Package Base: uppaal5
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.).
Upstream URL: https://uppaal.org/
Keywords: checking model real-time realtime test uppaal verification
Licenses: custom
Submitter: mads256h
Maintainer: mads256h
Last Packager: mads256h
Votes: 0
Popularity: 0.000000
First Submitted: 2023-10-10 08:54 (UTC)
Last Updated: 2023-10-10 09:12 (UTC)