Package Details: uppaal 5.0.0-3

Git Clone URL: https://aur.archlinux.org/uppaal.git (read-only, click to copy)
Package Base: uppaal
Description: Verify timed automata models and learn strategies.
Upstream URL: https://uppaal.org/
Keywords: automata checker cyperphysical model smt strategy symbolic timed verification
Licenses: custom
Provides: uppaal-5.0.0
Submitter: falkecarlsen
Maintainer: falkecarlsen
Last Packager: falkecarlsen
Votes: 0
Popularity: 0.000000
First Submitted: 2024-02-20 15:51 (UTC)
Last Updated: 2024-03-07 09:19 (UTC)