Compositional Verification of Quantitative Properties of Statecharts

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

Authors: 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

Recommendations

• scientific article; zbMATH DE number 1444724
• A compositional \(\mu\)-calculus proof system for statecharts processes
• scientific article; zbMATH DE number 1286822
• scientific article; zbMATH DE number 1544531
• Formal Techniques for Networked and Distributed Systems - FORTE 2005

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 (3)

• A temporal logic for micro- and macro-step-based real-time systems: foundations and applications
• Diagrammatic Representation and Inference
• 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)