Using program transformations to provide safety properties for real-time systems

DOI10.1023/B:TIME.0000027933.63133.5FzbMath1101.68057OpenAlexW2089018547MaRDI QIDQ704786

Shuhua Wang, Grace Tsai

Publication date: 19 January 2005

Published in: Real-Time Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:time.0000027933.63133.5f

zbMATH Keywords

fault toleranceformal methodstemporal logicprogram verificationexecutable assertionsReal time systems

Mathematics Subject Classification ID

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

This page was built for publication: Using program transformations to provide safety properties for real-time systems