Record: found
Abstract: not found
Book Chapter: not found

Linear-Invariant Generation for Probabilistic Programs:

other

Author(s): Joost-Pieter Katoen , Annabelle K. McIver , Larissa A. Meinicke , Carroll C. Morgan

Publication date (Print): 2010

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 16

Record: found
Abstract: not found
Article: not found

An axiomatic basis for computer programming

C. Hoare (1969)

0 comments Cited 371 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

A Complete Method for the Synthesis of Linear Ranking Functions

Andreas Podelski, Andrey Rybalchenko (2004)

0 comments Cited 68 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

Linear Invariant Generation Using Non-linear Constraint Solving

Michael Colón, Sriram Sankaranarayanan, Henny B. Sipma (2003)

0 comments Cited 58 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2010

Pages: 390-406

DOI: 10.1007/978-3-642-15769-1_24

SO-VID: 4fcbb7bc-cda9-4305-a4b1-f751c2006f36

History

Data availability:

Linear-Invariant Generation for Probabilistic Programs:

Read this book at

Related collections

Global Health Next Generation Network

Most cited references 16

An axiomatic basis for computer programming

A Complete Method for the Synthesis of Linear Ranking Functions

Linear Invariant Generation Using Non-linear Constraint Solving

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 3,101

Cited by 21