Formal verification of timed synchronous dataflow graphs using lustre
type: Item
instance of: scholarly article
title: Formal verification of timed synchronous dataflow graphs using lustre
author: Imed Eddine Bennour
published in: Journal of Logical and Algebraic Methods in Programming
publication date: 2021-08-03T00:00:00Z
Mathematics Subject Classification ID: 68-XX
zbMATH DE Number: 7377680
zbMATH Keywords: synchronous dataflow graph model
zbMATH Keywords: lustre
zbMATH Keywords: model checking
zbMATH Keywords: formal verification
describes a project that uses: SPIN
describes a project that uses: LUSTRE
describes a project that uses: NuSMV
describes a project that uses: Uppaal
describes a project that uses: Kind 2
MaRDI profile type: Publication
full work available at URL: j.jlamp.2021.100678
OpenAlex ID: W3144821052
cites work: Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing
cites work: Self-timed scheduling analysis for real-time applications
cites work: Q4804909
cites work: Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking
cites work: Uppaal in a nutshell
cites work: Q4994967
cites work: A theory of timed automata
DOI: 10.1016/J.JLAMP.2021.100678
description: scientific article; zbMATH DE number 7377680