Feasibility analysis for robustness quantification by symbolic model checking
type: Item
instance of: scholarly article
title: Feasibility analysis for robustness quantification by symbolic model checking
zbMATH Open document ID: 1247.68156
author: Souheib Baarir
author: Cécile Braunstein
author: Emmanuelle Encrenaz
author: J.-M. Ilié
author: Isabelle Mounier
author: Denis Poitrenaud
author: Sana Younes
published in: Formal Methods in System Design
publication date: 2012-09-27T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 94C12
zbMATH DE Number: 6087614
zbMATH Keywords: circuit robustness evaluation
zbMATH Keywords: dependability analysis
zbMATH Keywords: soft errors
zbMATH Keywords: symbolic model checking
zbMATH Keywords: bounded model checking
describes a project that uses: sharpSAT
MaRDI profile type: Publication
full work available at URL: s10703-011-0121-5
OpenAlex ID: W2087761502
cites work: Q4256519
cites work: Automatic verification of finite-state concurrent systems using temporal logic specifications
cites work: Self-stabilizing systems in spite of distributed control
cites work: Self-stabilization
cites work: Q2754108
DOI: 10.1007/S10703-011-0121-5
Recommended article: A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis
Recommended article: Formal Analysis of Robustness at Model and Code Level
Recommended article: Symbolic quantitative robustness analysis of timed automata
Recommended article: Q4503923
Recommended article: Model Checking Software
Recommended article: Symbolic model checking of software
Recommended article: Q2753750
Recommended article: Q2729957
Recommended article: Q5754518
description: scientific article; zbMATH DE number 6087614