On minimising the maximum expected verification time
type: Item
instance of: scholarly article
title: On minimising the maximum expected verification time
zbMATH Open document ID: 1422.68164
author: Toni Mancini
author: Federico Mari
author: A. Massini
author: Igor Melatti
author: Ivano Salvo
author: Enrico Tronci
published in: Information Processing Letters
publication date: 2017-11-03T00:00:00Z
full work available at URL: http://hdl.handle.net/11573/941556
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 6802739
zbMATH Keywords: formal verification
zbMATH Keywords: explicit model checking
zbMATH Keywords: system-level formal verification
zbMATH Keywords: formal methods
zbMATH Keywords: software engineering
describes a project that uses: C2e2
MaRDI profile type: Publication
OpenAlex ID: W2583964271
cites work: On simulation-based probabilistic model checking of mixed-analog circuits
cites work: Tools and Algorithms for the Construction and Analysis of Systems
cites work: SyLVaaS: System Level Formal Verification as a Service*
cites work: Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems
cites work: Q4221106
cites work: Random walk based heuristic algorithms for distributed memory model checking
cites work: Bayesian statistical model checking with application to Stateflow/Simulink verification
cites work: Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software
DOI: 10.1016/J.IPL.2017.02.001
Recommended article: Towards a Theory of Time-Bounded Verification
Recommended article: Time-Bounded Verification
Recommended article: Min-max inequalities and the timing verification problem with max and linear constraints
Recommended article: Minimal counterexamples for linear-time probabilistic verification
Recommended article: Time Complexity of Decentralized Fixed-Mode Verification
Recommended article: An algorithm for timing verification of systems constrained by min-max inequalities
Recommended article: MITL verification under timing uncertainty
Recommended article: Q5094121
Recommended article: Verified Approximation Algorithms
Recommended article: Simple and efficient batch verification techniques for verifiable delay functions
description: scientific article; zbMATH DE number 6802739