Models and formal verification for Electric Vehicle and Urban Delivery Zone

Name: Models and formal verification for Electric Vehicle and Urban Delivery Zone
Creator: Abir Nemouchi
Published: 2025-07-15T18:41:03.471Z
Keywords: Formal Verification, Formal Specification

Nemouchi, Abir; bouzenada, ahmed; Saidouni, Djamel Eddine; Diaz, Gregorio

doi:10.17632/9mk2s54g9m.1

Models and formal verification for Electric Vehicle and Urban Delivery Zone

Published: 15 July 2025| Version 1 | DOI: 10.17632/9mk2s54g9m.1

Contributors:

Abir Nemouchi, ahmed bouzenada, Djamel Eddine Saidouni, Gregorio Diaz

Description

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.

Models and formal verification for Electric Vehicle and Urban Delivery Zone

Description

Files

Categories

Licence