Randomness: A Tool for Constructing and Analyzing Computer Programs

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

KUČERA Antonín

Year of publication 2011
Type Chapter of a book
MU Faculty or unit

Faculty of Informatics

Citation
Description The paper reflects the author's personal view on the role of randomness in modeling, analysisng, and verification of computer programs.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.