Compositional Verification of Quantitative Properties of Statecharts

DOI10.1093/LOGCOM/11.6.829zbMath1008.68076OpenAlexW2062864606MaRDI QIDQ4529488

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

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

Related Items (1)

A temporal logic for micro- and macro-step-based real-time systems: foundations and applications

Uses Software

• MOCHA
• Unnamed Item

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