Spotlight abstraction in model checking real-time task schedulability
type: Item
instance of: scholarly article
title: Spotlight abstraction in model checking real-time task schedulability
zbMATH Open document ID: 1490.68135
DOI: 10.1007/978-3-030-84629-9_4
author: Madoda Nxumalo
author: Nils Timm
author: Stefan Gruner
publication date: 2022-03-24T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68M20
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 7497973
zbMATH Keywords: timed automata
zbMATH Keywords: model checking
zbMATH Keywords: three-valued abstraction
zbMATH Keywords: schedulability
zbMATH Keywords: queues
describes a project that uses: TIMES
describes a project that uses: IMITATOR
MaRDI profile type: MaRDI publication profile
full work available at URL: 978-3-030-84629-9 4
OpenAlex ID: W3193861647
cites work: Q4472231
cites work: A theory of timed automata
cites work: Q4472261
cites work: Lectures on Concurrency and Petri Nets
cites work: Sensitivity analysis for fixed-priority real-time systems
cites work: Model Checking Real-Time Systems
cites work: Q4472228
cites work: Q4296301
cites work: Revisiting local time semantics for networks of timed automata
cites work: 2-valued and 3-valued abstraction-refinement in model checking
cites work: What's decidable about hybrid automata?
cites work: Better abstractions for timed automata
cites work: Three-Valued Abstraction for Continuous-Time Markov Chains
cites work: Abstraction refinement algorithms for timed automata
Recommended article: Compositional Abstraction in Real-Time Model Checking
Recommended article: Q4412495
Recommended article: Model-checking in dense real-time
Recommended article: Model-checking for real-time systems
Recommended article: On Expressiveness and Complexity in Real-Time Model Checking
Recommended article: Model Checking Real-Time Systems
Recommended article: An abstraction technique for real-time verification
Recommended article: Conformance checking of real-time models. Symbolic execution vs. bounded model checking
description: scientific article; zbMATH DE number 7497973