Models and formal verification for Electric Vehicle and Urban Delivery Zone

Name: Models and formal verification for Electric Vehicle and Urban Delivery Zone
Creator: Universidad de Castilla-La Mancha - Campus de Albacete; Universite Abdelhamid Mehri Constantine 2 Faculte des Nouvelles Technologies de l'Information et de la Communication
License: 暂无描述

Mendeley Data2026-04-09 收录

下载链接：

https://data.mendeley.com/datasets/9mk2s54g9m/1

下载链接

链接失效反馈

官方服务：

资源简介：

This dataset contains formal models and verification data related to the symbolic modelling and verification of a dynamic Electric Vehicle and urban delivery zone. It includes nuXmv specifications for the Context Transiton System (CTS) and Agent Transition System (ATS) with Computation Tree Logic (CTL) properties, figures of verification results, and figures of CTS and ATS. The dataset is associated with a research manuscript currently under submission.

提供机构：

Universidad de Castilla-La Mancha - Campus de Albacete; Universite Abdelhamid Mehri Constantine 2 Faculte des Nouvelles Technologies de l'Information et de la Communication