scientific article; zbMATH DE number 2013586
From MaRDI portal
Publication:4436971
zbMath1028.68547MaRDI QIDQ4436971
Ken Robinson, Zhendong Jin, Thai Son Hoang, Carroll Morgan, Annabelle McIver
Publication date: 4 December 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2651/26510240.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
probabilistic algorithmsProbabilityweakest preconditionsprogram correctnessgeneralised substitutionsthe B Method
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (3)
Tank monitoring: A pAMN case study ⋮ Generating counterexamples for quantitative safety specifications in probabilistic B ⋮ Probabilistic guarded commands mechanized in HOL
This page was built for publication:
