Analysis and verification of real-time systems using quantitative symbolic algorithms

DOI10.1007/s100090050033zbMath1065.68505OpenAlexW2011423364MaRDI QIDQ1856174

Sérgio Vale Aguiar Campos, Edmund M. Clarke

Publication date: 1999

Published in: International Journal on Software Tools for Technology Transfer. STTT (Search for Journal in Brave)

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

zbMATH Keywords

real-time systemsbinary decision diagramssymbolic model checkingquantitative timing analysisVerus

Mathematics Subject Classification ID

Computer system organization (68M99)

Related Items (4)

Efficient timed model checking for discrete-time systems ⋮ Abstract Interpretation with Applications to Timing Validation ⋮ Formal verification of multitasking applications based on timed automata model ⋮ Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints*

This page was built for publication: Analysis and verification of real-time systems using quantitative symbolic algorithms