Verification approach of Metropolis design framework for embedded systems

DOI10.1007/S10766-005-0002-XzbMath1100.68585OpenAlexW2094686007MaRDI QIDQ2506294

Felice Balarin, Harry Hsieh, Xi Chen

Publication date: 28 September 2006

Published in: International Journal of Parallel Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10766-005-0002-x

zbMATH Keywords

simulationformal verificationspinLTLmeta-modelpropertyMetropolisLOC

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Validating Timed Models of Deployment Components with Parametric Concurrency

Uses Software

• FoCs
• SPIN
• Metropolis

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Verification approach of Metropolis design framework for embedded systems