A modeling concept for formal verification of OS-based compositional software
type: Item
instance of: scholarly article
title: A modeling concept for formal verification of OS-based compositional software
zbMATH Open document ID: 1541.68212
DOI: 10.1007/978-3-031-30826-0_2
author: Leandro Batista Ribeiro
author: Florian Lorber
author: Ulrik Nyman
author: Kim G. Larsen
author: Marcel Baunach
publication date: 2023-11-24T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N25
Mathematics Subject Classification ID: 68N30
zbMATH DE Number: 7770190
zbMATH Keywords: embedded systems
zbMATH Keywords: real-time operating systems
zbMATH Keywords: formal methods
zbMATH Keywords: Uppaal
zbMATH Keywords: software composition
MaRDI profile type: Publication
cites work: Enabling floating-point arithmetic in the Coq proof assistant
cites work: Q3569584
cites work: Formal Methods for the Design of Real-Time Systems
cites work: Q3181652
cites work: Q4536599
cites work: Using formal reasoning on a model of tasks for FreeRTOS
cites work: Deep specifications and certified abstraction layers
cites work: Operating system verification---an overview
cites work: Urgent Partial Order Reduction for Extended Timed Automata
cites work: Uppaal in a nutshell
cites work: Dafny: An Automatic Program Verifier for Functional Correctness
cites work: Formalizing the LLVM intermediate representation for verified program transformations
description: scientific article; zbMATH DE number 7770190