Tank monitoring: A pAMN case study

DOI10.1007/S00165-006-0004-5zbMath1103.68636OpenAlexW1973116194WikidataQ60173599 ScholiaQ60173599MaRDI QIDQ851131

Ken Robinson, Thai Son Hoang, Helen Treharne, S. A. Schneider

Publication date: 17 November 2006

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: http://epubs.surrey.ac.uk/7247/2/tankfacs.pdf

zbMATH Keywords

formal methodsrefinementprobabilistic Bprobabilistic predicate transformers

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Tank monitoring: A pAMN case study

Cites Work

• Unnamed Item
• Unnamed Item
• Tank monitoring: A pAMN case study
• The B-Book
• Abstraction, Refinement and Proof for Probabilistic Systems

This page was built for publication: Tank monitoring: A pAMN case study