Zobrazeno 1 - 10 of 34 pro vyhledávání: '"Gerth, R.T."'
1
Generation of reduced models for checking fragments of CTL
Autor: Dams, D.R., Grumberg, O., Gerth, R.T., Courcoubetis, C.
Publikováno v: Computer Aided Verification (Proceedings 5th International Conference, CAV'93, Elounda, Crete, Greece, June 28-July 1, 1993), 479-490
STARTPAGE=479;ENDPAGE=490;TITLE=Computer Aided Verification (Proceedings 5th International Conference, CAV'93, Elounda, Crete, Greece, June 28-July 1, 1993)
Computer Aided Verification ISBN: 9783540569220
CAV
In the first part of the paper, we present an algorithm for the construction of a quotient model under the equivalence induced by ACTL, the universal fragment of CTL. As this equivalence coincides with simulation equivalence, the achieved reduction i
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cc3a7675f5e644406ca71cef3174acbe
https://doi.org/10.1007/3-540-56922-7_39
Zobrazit plný text záznamu
2
Partial-order reduction techniques for real-time model checking
Autor: Dams, D.R., Gerth, R.T., Knaack, B.T., Kuiper, R., Groote, J.F., Luttik, B., Wamel, van, J.
Publikováno v: Proc. Third International Workshop on Formal Methods for Industrial Critical Systems, Amsterdam, Netherlands, 25-26 May 1998, 157-169
STARTPAGE=157;ENDPAGE=169;TITLE=Proc. Third International Workshop on Formal Methods for Industrial Critical Systems, Amsterdam, Netherlands, 25-26 May 1998
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::713c54c9eaedbcd19e3f332e5014f0d8
https://research.tue.nl/nl/publications/71ef8d3b-080c-488d-b22e-bcd398d9f3f8
Zobrazit plný text záznamu
4
Simple on-the-fly automatic verification of linear temporal logic
Autor: Gerth, R.T., Peled, D., Vardi, M.Y., Wolper, P., Dembinski, P., Sredniawa, M.
Publikováno v: Protocol Specification, Testing and Verification XV (Proceedings of the Fifteenth IFIP WG6.1 International Symposium, PSTV'95, Warsaw, Polnd, June 1995), 3-19
STARTPAGE=3;ENDPAGE=19;TITLE=Protocol Specification, Testing and Verification XV (Proceedings of the Fifteenth IFIP WG6.1 International Symposium, PSTV'95, Warsaw, Polnd, June 1995)
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::cd2e8ae2e43ef1c5541296ccf70f1261
https://research.tue.nl/nl/publications/8977022c-e89d-4080-957a-91724ec20510
Zobrazit plný text záznamu
7
Abstract interpretation of reactive systems
Autor: Dams, D.R., Gerth, R.T., Grumberg, O., Olderog, E.R.
Publikováno v: Programming Concepts, Methods and Calculi (Proceedings IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference, Procomet'94, San MIniato, Italy, June 6-10,1994), 573-592
STARTPAGE=573;ENDPAGE=592;TITLE=Programming Concepts, Methods and Calculi (Proceedings IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference, Procomet'94, San MIniato, Italy, June 6-10,1994)
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::f9f3c3a576d955c47cdb59b0e6c9b56e
https://research.tue.nl/nl/publications/05e9874b-a097-4b32-8243-3ea46f3b0ac7
Zobrazit plný text záznamu
8
Model checking using adaptive state and data abstraction
Autor: Dams, D.R., Gerth, R.T., Döhmen, G., Herrmann, R., Kelb, P., Pargmann, H., Dill, D.L.
Publikováno v: Computer Aided Verification (Proceedings 6th International Conference, CAV'94, Stanford CA, USA, June 21-23, 1994), 455-467
STARTPAGE=455;ENDPAGE=467;TITLE=Computer Aided Verification (Proceedings 6th International Conference, CAV'94, Stanford CA, USA, June 21-23, 1994)
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::4eac53f7bf6b21633a241eb68251b47c
https://research.tue.nl/nl/publications/512715a5-9a0b-48ff-8603-a83bfe7511e7
Zobrazit plný text záznamu
9
Transformations preserving properties and properties preserved by transformations in fair transition systems (extended abstract)
Autor: Zhou, Shengzong, Gerth, R.T., Kuiper, R., Best, E.
Publikováno v: CONCUR'93 (Proceedings 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993), 353-367
STARTPAGE=353;ENDPAGE=367;TITLE=CONCUR'93 (Proceedings 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993)
CONCUR'93 ISBN: 9783540572084
CONCUR
Chandy and Misra's Unity, Back's Action Systems and Lamport's Temporal Logic of Actions (TLA) are three prime examples of specification formalisms for concurrent systems viewed as fair transition systems. The first two examples, and to a lesser exten
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::32038a8cb00c2dfe4b43057ae823b020
https://doi.org/10.1007/3-540-57208-2_25
Zobrazit plný text záznamu
10
Exception handling in process algebra
Autor: Boer, de, F.S., Coenen, J.A.A., Gerth, R.T., Purushothaman, S., Zwarico, A.
Publikováno v: Proceedings 1st North American process algebra workshop (NAPAW, Stony Brook NY, USA, August 28, 1992), 86-100
STARTPAGE=86;ENDPAGE=100;TITLE=Proceedings 1st North American process algebra workshop (NAPAW, Stony Brook NY, USA, August 28, 1992)
in text
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::618e90d56a38b1f9328414dd28fd6518
https://research.tue.nl/nl/publications/a223ee8d-1abc-46f2-a660-2fce2a7a55d4
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje