Compositional Verification of Quantitative Properties of Statecharts

DOI10.1093/LOGCOM/11.6.829MaRDI QIDQ4529488zbMATH OpenOpenAlexFDO

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

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)

Recommendations

• scientific article; zbMATH DE number 1444724
• A compositional -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

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

Describes a project that uses

Uses Software

• MOCHA
• Coq

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)