Fault localization of timed automata using maximum satisfiability
type: Item
instance of: scholarly article
title: Fault localization of timed automata using maximum satisfiability
zbMATH Open document ID: 1461.68103
DOI: 10.1007/978-3-319-31220-0_6
author: Shin Nakajima
author: Si-Mohamed Lamraoui
publication date: 2021-05-20T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68M15
zbMATH DE Number: 7349919
describes a project that uses: Uppaal
describes a project that uses: Yices
MaRDI profile type: Publication
full work available at URL: 978-3-319-31220-0 6
OpenAlex ID: W2418042239
Recommended article: Fault Diagnosis for Timed Automata
Recommended article: Foundations of Software Science and Computational Structures
Recommended article: Verification of Timed Automata via Satisfiability Checking
Recommended article: Q4461759
Recommended article: Reachability analysis for timed automata using max-plus algebra
Recommended article: Q4818755
Recommended article: Q5469517
Recommended article: Q5101345
Recommended article: Q5506384
Recommended article: Q5422299
description: scientific article; zbMATH DE number 7349919