官方服务：
资源简介：
Model checkpoints of ControlCity
应用场景：
创建时间：
2026-02-25
相关数据集
AREL Stereotype and Model checking tool
This tool can be used with Enterprise Architect V7.1 to document design decisions. A .Net program can be used to check the BBN model for decision making.
DataCite Commons2020-08-28 更新110
Artifact related to Abstraction Refinement for Emptiness Checking of Alternating Data Automata (TACAS 2018 paper)
This dataset is associated with a published paper which presented a new model of alternating automata over infinite alphabets. This involved the development of two semi-algorithms inspired by two stat
DataCite Commons2024-03-25 更新60
Formal properties collected from practical model-checking projects
Since 2008, VTT has been applying model checking in practical customer projects in the Finnish nuclear and railway industries. We have collected 3923 formal properties specified and verified by VTT an
Mendeley Data2024-05-10 更新40
More Scalable LTL Model Checking via Discovering Design-Space Dependencies (Artifact)
This record contains a single artifact in compressed .tar.gz format, holding software and models to run the Discover Design-Space Dependencies (D 3 ) algorithm for scalable Linear Temporal Lo
DataCite Commons2020-08-30 更新90
More Scalable LTL Model Checking via Discovering Design-Space Dependencies (Artifact)
This record contains a single artifact in compressed .tar.gz format, holding software and models to run the Discover Design-Space Dependencies (D 3 ) algorithm for scalable Linear Temporal Lo
DataCite Commons2020-08-30 更新50
