@inproceedings{34e3fd6e46fd4679a47328cdca7ba815,
title = "Timed verification with μCRL",
abstract = "μCRL is a process algebraic language for specification and verification of distributed systems. μCRL allows to describe temporal properties of distributed systems but it has no explicit reference to time. In this work we propose a manner of introducing discrete time without extending the language. The semantics of discrete time we use makes it possible to reduce the time progress problem to the diagnostics of {"}no action is enabled{"} situations. The synchronous nature of the language facilitates the task. We show some experimental verification results obtained on a timed communication protocol.",
keywords = "μCRL, Discrete time, Model checking, Modelling, Verification",
author = "Stefan Blom and Natalia Ioustinova and Natalia Sidorova",
year = "2003",
doi = "10.1007/978-3-540-39866-0_20",
language = "English",
isbn = "3-540-20813-5",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "178--191",
editor = "M. Broy and A.V. Zamulin",
booktitle = "Perspective of Systems Informatics (Proceedings 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia. July 9-12, 2003)",
address = "Germany",
}