Compositional Verification of Quantitative Properties of Statecharts

DOI10.1093/LOGCOM/11.6.829zbMATH Open1008.68076OpenAlexW2062864606MaRDI QIDQ4529488FDOQ4529488

Francesca Levi

Publication date: 6 April 2003

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/11.6.829

zbMATH Keywords

local model checkingprocess languagetimed statecharts

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (2)

• A temporal logic for micro- and macro-step-based real-time systems: foundations and applications
• Compositionality in state space verification methods

Uses Software

• Coq
• MOCHA

This page was built for publication: Compositional Verification of Quantitative Properties of Statecharts

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