Probabilistic model of software approximate correctness

DOI10.1007/s11859-016-1137-xzbMath1363.68039OpenAlexW2326316958MaRDI QIDQ2825263

Liang Chen, Yan-Fang Ma

Publication date: 6 October 2016

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

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

zbMATH Keywords

metricinteractionenvironmentprobabilistic bisimulationprocess calculus

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• The infinite evolution mechanism of \(\epsilon\)-bisimilarity
• Calculi for synchrony and asynchrony
• Bisimulation through probabilistic testing
• Bisimulation indexes and their applications
• Additive models of probabilistic processes
• The origins of structural operational semantics
• Reactive, generative, and stratified models of probabilistic processes
• Simulation for lattice-valued doubly labeled transition systems
• The quantitative linear-time-branching-time spectrum
• Testing Finitary Probabilistic Processes
• Communicating sequential processes
• Approximation Metrics for Discrete and Continuous Systems

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