Theoretical Aspects of Computing – ICTAC 2005

DOI10.1007/11560647zbMath1169.68520OpenAlexW4300984554MaRDI QIDQ5395106

Guangyuan Li, Rongjie Yan, Zhisong Tang

Publication date: 1 November 2006

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

Full work available at URL: https://doi.org/10.1007/11560647

zbMATH Keywords

model checkingsymbolic methodsfinite precision timed automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Improvements for the Symbolic Verification of Timed Automata

Uses Software

• Rabbit

This page was built for publication: Theoretical Aspects of Computing – ICTAC 2005