Partial Order Path Technique for Checking Parallel Timed Automata

DOI10.1007/3-540-45739-9_24zbMath1278.68198OpenAlexW1535537825MaRDI QIDQ5392301

Guoliang Zheng, Tao Zheng, Jian-hua Zhao, Xuandong Li, He Xu

Publication date: 8 April 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-45739-9_24

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Performance Evaluation of Schedulers in a Probabilistic Setting

Uses Software

• Kronos
• HyTech

This page was built for publication: Partial Order Path Technique for Checking Parallel Timed Automata