scientific article; zbMATH DE number 1962855

MaRDI QIDQ4418693zbMATH OpenFDO

Authors Véronique Bruyère, Emmanuel Dall'Olio, Jean-François Raskin

Publication date 11 August 2003

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

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Recommendations

• Durations and parametric model-checking in timed automata
• Real-Time Model-Checking: Parameters everywhere
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• Checking temporal duration properties of timed automata.
• scientific article; zbMATH DE number 1701759

Cited in

(12)

• Robust parametric reachability for timed automata
• Real-Time Model-Checking: Parameters everywhere
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• Decision problems for lower/upper bound parametric timed automata
• An automata-theoretic approach to constraint LTL
• Equivalence between model-checking flat counter systems and Presburger arithmetic
• Equivalence between model-checking flat counter systems and Presburger arithmetic
• Reasoning about reversal-bounded counter machines
• Monotonic hybrid systems
• Model checking restricted sets of timed paths
• Durations and parametric model-checking in timed automata
• scientific article; zbMATH DE number 2038900 (Why is no real title available?)

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 Q4418693)