Abstraction, refinement and proof for probabilistic systems | Macquarie University ResearchOnline

Home

Please use this identifier to cite or link to this item: http://hdl.handle.net/1959.14/6448

64 Visitors

103 Hits

18 Downloads

Title: Abstraction, refinement and proof for probabilistic systems
Related: http://www.springer.com/computer/programming/book/978-0-387-40115-7?detailsPage=toc
Publisher: New York, USA : Springer Science + Business Media Inc
Date: 2005
Author/Creator: McIver, Annabelle
Author/Creator: Morgan, Carroll
Description: The book is a focused survey on probabilistic program semantics, conceived to tell a coherent story with a uniform notation. It is grouped into three themes: Part I is for 'users' of the techniques who will be developing actual programs; Part II gives mathematical foundations intended for those studying exactly how it was done and how to build semantic structures/models in their own work; and Part III describes a very 'hot' research direction, temporal logic and model checking.
Subject Keyword: engineering mathematics
Subject Keyword: probabilities
Subject Keyword: systems engineering
Subject Keyword: data refinement
Subject Keyword: program semantics
Subject Keyword: sequential programming
Resource Type: book
Organisation: Macquarie University. Dept. of Computing

Macquarie University ResearchOnline