Sign inSign up

imitator/tacas21

Sponsored OSS

By imitator

•Updated almost 6 years ago

Artifact: Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata

Image
0

2.3K

Tags for imitator/tacas21

Sort by

TAG

latest

Last pushed almost 6 years by himito

docker pull imitator/tacas21:latest
DigestOS/ARCHCompressed size

c00aee9fd840

linux/amd64

324.73 MB