Symbolic synthesis of masking fault-tolerant distributed programs
type: Item
instance of: scholarly article
title: Symbolic synthesis of masking fault-tolerant distributed programs
zbMATH Open document ID: 1285.68016
author: Borzoo Bonakdarpour
author: Sandeep S. Kulkarni
author: Fuad Abujarad
published in: Distributed Computing
publication date: 2013-02-04T00:00:00Z
Mathematics Subject Classification ID: 68M15
Mathematics Subject Classification ID: 68M14
Mathematics Subject Classification ID: 68W15
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 6134264
zbMATH Keywords: distributed programs
zbMATH Keywords: fault-tolerance
zbMATH Keywords: program synthesis
zbMATH Keywords: symbolic algorithms
zbMATH Keywords: program transformation
zbMATH Keywords: formal methods
describes a project that uses: Sycraft
describes a project that uses: NuSMV
MaRDI profile type: Publication
full work available at URL: s00446-011-0139-3
OpenAlex ID: W1983791345
cites work: Defining liveness
cites work: Q4249561
cites work: Synthesis of discrete-event controllers based on the signal environment
cites work: Computer Aided Verification
cites work: Foundations of Software Science and Computational Structures
cites work: Graph-Based Algorithms for Boolean Function Manipulation
cites work: Symbolic model checking: \(10^{20}\) states and beyond
cites work: CONCUR 2005 – Concurrency Theory
cites work: Correct Hardware Design and Verification Methods
cites work: Q2769596
cites work: NuSMV: A new symbolic model checker
cites work: Q4736872
cites work: Q2771062
cites work: Automating the addition of fault tolerance with discrete controller synthesis
cites work: Symbolic model checking for real-time systems
cites work: Q2766635
cites work: Optimal Supervisory Control of Discrete Event Dynamical Systems
cites work: The Byzantine Generals Problem
cites work: Decentralized control and coordination of discrete-event systems with partial observation
cites work: On the synthesis of discrete controllers for timed systems
cites work: Q3141897
cites work: Q4205072
cites work: Think globally, act locally: decentralized supervisory control
cites work: Q4385530
cites work: On the synthesis of strategies in infinite games
cites work: Fault Diagnosis for Timed Automata
cites work: Undecidable problems of decentralized observation and control on regular languages
cites work: Q4493880
cites work: Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications
DOI: 10.1007/S00446-011-0139-3
description: scientific article; zbMATH DE number 6134264