A formal framework for modeling and validating simulink diagrams
type: Item
instance of: scholarly article
title: A formal framework for modeling and validating simulink diagrams
zbMATH Open document ID: 1192.68438
author: Chunqing Chen
author: Jun Sun
author: Jin-Song Dong
published in: Formal Aspects of Computing
publication date: 2009-11-13T00:00:00Z
full work available at URL: https://ink.library.smu.edu.sg/sis_research/5037
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5633143
zbMATH Keywords: simulink
zbMATH Keywords: real-time specification
zbMATH Keywords: Z language
zbMATH Keywords: formal verification
describes a project that uses: PVS
describes a project that uses: ClawZ
describes a project that uses: Circus
describes a project that uses: Simulink
describes a project that uses: Z
MaRDI profile type: Publication
OpenAlex ID: W2099661188
cites work: FM 2005: Formal Methods
cites work: A refinement strategy for Circus
cites work: Q4246818
cites work: Q4439552
cites work: Q4301167
cites work: A calculus of durations
DOI: 10.1007/S00165-009-0108-9
description: scientific article; zbMATH DE number 5633143