Verifying hierarchical Ptolemy II discrete-event models using real-time maude
type: Item
instance of: scholarly article
title: Verifying hierarchical Ptolemy II discrete-event models using real-time maude
zbMATH Open document ID: 1264.68051
author: Kyungmin Bae
author: Peter Csaba Ölveczky
author: Thomas Huining Feng
author: Edward A. Lee
author: Stavros Tripakis
published in: Science of Computer Programming
publication date: 2013-06-06T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 6171345
zbMATH Keywords: Ptolemy II DE models
zbMATH Keywords: formal semantics
zbMATH Keywords: rewriting logic
zbMATH Keywords: real-time maude
zbMATH Keywords: model checking
zbMATH Keywords: formal verification
describes a project that uses: MOMENT2
describes a project that uses: StateFlow
describes a project that uses: Ptolemy
describes a project that uses: VESTA
describes a project that uses: LUSTRE
describes a project that uses: Maude
describes a project that uses: JavaFAN
MaRDI profile type: Publication
full work available at URL: j.scico.2010.10.002
OpenAlex ID: W2098851201
cites work: Q4473741
cites work: Specification of real-time and hybrid systems in rewriting logic
cites work: Q4814091
cites work: Semantics and pragmatics of real-time maude
cites work: Abstraction and completeness for real-time Maude
cites work: On the Behavioral Semantics of Real-Time Domain Specific Visual Languages
cites work: Q2737800
cites work: All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
cites work: Semantic foundations for generalized rewrite theories
cites work: Conditional rewriting logic as a unified model of concurrency
cites work: Q3839051
cites work: Equational rules for rewriting logic
cites work: The semantics and execution of a synchronous block-diagram language.
cites work: Modeling Timed Concurrent Systems
cites work: CPO semantics of timed interactive actor networks
cites work: Actors without Directors: A Kahnian View of Heterogeneous Systems
cites work: Statecharts: a visual formalism for complex systems
cites work: Q4763590
cites work: Semantic translation of Simulink/Stateflow models to hybrid automata using graph transformations
cites work: Computer Aided Verification
cites work: The rewriting logic semantics project
DOI: 10.1016/J.SCICO.2010.10.002
description: scientific article; zbMATH DE number 6171345