UPPAAL

Environment Modeling During Model Checking of Cyber-Physical Systems
A domain-independent framework which can balance coverage and expressiveness of environment models during closed-loop model checking of Cyber-Physical Systems.
引用 实验室 DOI
Environment Modeling During Model Checking of Cyber-Physical Systems