Search for dissertations about: "ostrovsky"
Found 1 swedish dissertation containing the word ostrovsky.
-
1. On Modelling and Analysing Concurrent Systems
Abstract : In order to verify program correctness one needs an appropriate programming language, a specification of the program correctness, and some methods to prove the program correct. We examine two of these aspects: a language for writing a particular kind of concurrent programs, that is modelling concurrent systems, and methods to prove certain correctness properties of concurrent programs, that is analysing concurrent systems. READ MORE
Result pages:
1