scientific article; zbMATH DE number 1982208

MaRDI QIDQ4426385zbMATH OpenFDO

Authors Alexandre David, Gerd Behrmann, Wang Yi, Kim G. Larsen

Publication date 16 September 2003

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Data structures (68P05) Formal languages and automata (68Q45)

Recommendations

• Symbolic and compositional reachability for timed automata
• SAT-based reachability checking for timed automata with discrete data
• Multi-core Reachability for Timed Automata
• scientific article; zbMATH DE number 2102717
• Augmenting the discrete timed automaton with other data structures.

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4426385)