Probabilistic model of software approximate correctness

DOI10.1007/S11859-016-1137-XMaRDI QIDQ2825263zbMATH OpenOpenAlexFDO

Authors Yanfang Ma, Liang Chen

Publication date 6 October 2016

Published in Wuhan University Journal of Natural Sciences (WUJNS) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11859-016-1137-x

zbMATH Keywords

metricinteractionprobabilistic bisimulationenvironmentprocess calculus

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Quantitative analysis of software approximate correctness
• The infinite evolution mechanism of \(\epsilon\)-bisimilarity
• scientific article; zbMATH DE number 1696897
• The approximate correctness of systems based on \(\delta\)-bisimulation
• Compositionality of approximate bisimulation for probabilistic systems

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 794262 (Why is no real title available?)
• Additive models of probabilistic processes
• Approximation Metrics for Discrete and Continuous Systems
• Bisimulation indexes and their applications
• Bisimulation through probabilistic testing
• Calculi for synchrony and asynchrony
• Communicating sequential processes
• Reactive, generative, and stratified models of probabilistic processes
• Simulation for lattice-valued doubly labeled transition systems
• Testing Finitary Probabilistic Processes
• The infinite evolution mechanism of \(\epsilon\)-bisimilarity
• The origins of structural operational semantics
• The quantitative linear-time-branching-time spectrum

Cited in

(4)

• scientific article; zbMATH DE number 97751 (Why is no real title available?)
• Quantitative analysis of software approximate correctness
• Estimating Percentiles of Uncertain Computer Code Outputs
• When are software verification results valid for approximate hardware?

This page was built for publication: Probabilistic model of software approximate correctness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2825263)