scientific article; zbMATH DE number 1953031

zbMath1022.68586MaRDI QIDQ4414389

Farn Wang

Publication date: 25 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2575/25750189.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

verificationtimed automatamodel-checkingBDDdata-structures

Mathematics Subject Classification ID

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

Related Items (3)

Bounded determinization of timed automata with silent transitions ⋮ A menagerie of timed automata ⋮ Improvements for the Symbolic Verification of Timed Automata

Uses Software

• Kronos
• Uppaal2k
• Uppaal

This page was built for publication: