Coinductive Proof Principles for Stochastic Processes

Authors:
Dexter Kozen
Affiliations:
Cornell University, USA
Venue:
LICS '06 Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science
Year:
2006

Citing 0
Cited 2

Applications of metric coinduction

CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Dexter kozen's influence on the theory of labelled markov processes

Logic and Program Semantics

Quantified Score

Hi-index	0.00

Visualization

Abstract

The UCLID project seeks to develop formal verification tools for infinite-state systems having a degree of automation comparable to that of model checking tools for finitestate systems. The UCLID modeling language describes systems where the state variables ...