Language Inclusion Checking of Timed Automata Based on Property Patterns

Language Inclusion Checking of Timed Automata Based on Property Patterns

The language inclusion checking of timed automata is described as the following: given two timed automata <i>M</i> and <i>N</i>, where <i>M</i> is a system model and <i>N</i> is a specification model (which represents the properties that the system nee...

Full description

Bibliographic Details
Main Authors: Ting Wang, Yan Shen, Tieming Chen, Baiyang Ji, Tiantian Zhu, Mingqi Lv
Format: Article
Language:English
Published: MDPI AG 2022-12-01
Series:Applied Sciences
Subjects:
timed automata
language inclusion
property pattern
verification
Online Access:https://www.mdpi.com/2076-3417/12/24/12946

Internet

https://www.mdpi.com/2076-3417/12/24/12946

Similar Items