Models and formal verification of multiprocessor system-on-chips
type: Item
instance of: scholarly article
title: Models and formal verification of multiprocessor system-on-chips
zbMATH Open document ID: 1151.68339
author: Michael R. Hansen
author: Jan Madsen
author: Aske W. Brekling
published in: The Journal of Logic and Algebraic Programming
publication date: 2008-11-06T00:00:00Z
Mathematics Subject Classification ID: 68M20
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5362184
zbMATH Keywords: multiprocessor system-on-chips
zbMATH Keywords: schedulability
zbMATH Keywords: timed automata
zbMATH Keywords: uppaal
zbMATH Keywords: verification
describes a project that uses: TIMES
describes a project that uses: SPIN
describes a project that uses: Uppaal
describes a project that uses: legOS
MaRDI profile type: Publication
full work available at URL: j.jlap.2008.05.002
OpenAlex ID: W2047516333
Wikidata QID: Q54483958
cites work: Scheduling with timed automata
cites work: Q4551179
cites work: A theory of timed automata
cites work: Q4472261
cites work: Formal Methods for the Design of Real-Time Systems
cites work: Q4472228
cites work: Bounds on Multiprocessing Timing Anomalies
cites work: Verification of the legOS scheduler using Uppaal
cites work: Uppaal in a nutshell
cites work: Formal Modeling and Analysis of Timed Systems
DOI: 10.1016/J.JLAP.2008.05.002
description: scientific article; zbMATH DE number 5362184