Modeling and verification of real-time systems based on equations

DOI10.1016/J.SCICO.2006.10.011zbMath1116.68054OpenAlexW2053701705MaRDI QIDQ882458

Kokichi Futatsugi, Kazuhiro Ogata

Publication date: 23 May 2007

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2006.10.011

zbMATH Keywords

verificationmodelingalgebraic specificationsrewritingequationsreal-timeCafeOBJTOTss

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Grammars and rewriting systems (68Q42)

Related Items (1)

Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs

Uses Software

• LARCH
• Maude

This page was built for publication: Modeling and verification of real-time systems based on equations