Výpis publikací

2002

1. Property Driven Distribution of Nested DFS

   BARNAT, Jiří; Luboš BRIM a Ivana ČERNÁ. Property Driven Distribution of Nested DFS. In M. Leuschel and U. Ultes-Nitsche (Eds.): Proceedings of the 3rd International Workshop on Verification and Computational Logic. Pittsburgh, PA, USA: Dept. of Electronics and Computer Science, University of Southampton, 2002, s. 1-10.

   Název anglicky: Property Driven Distribution of Nested DFS
   RIV/00216224:14330/02:00006603 Stať ve sborníku. Informatika. angličtina. Velká Británie a Severní Irsko.
   Barnat, Jiří (203 Česká republika) -- Brim, Luboš (203 Česká republika, garant) -- Černá, Ivana (203 Česká republika)
   Klíčová slova anglicky: model-checking; distributed model-checking; verification; verification tool
   Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 22. 11. 2006 16:02.

   Podrobněji: https://is.muni.cz/publication/406260/cs
2. Using verified property to partition the state space in LTL model-checking

   BARNAT, Jiří. Using verified property to partition the state space in LTL model-checking. In F. Cassez, C. Jard, F. Laroussinie, and M.D. Ryan (Eds.): Modelling and Verification of Parallel processes. Nantes, France: IRCCyN, Ecole Centrale de Nantes, 2002, s. 262-267.

   Název anglicky: Using verified property to partition the state space in LTL model-checking
   RIV/00216224:14330/02:00006604 Stať ve sborníku. Informatika. angličtina. Francie.
   Barnat, Jiří (203 Česká republika, garant)
   Klíčová slova anglicky: model-checking; distributed model-checking; verification
   Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 22. 11. 2006 16:01.

   Podrobněji: https://is.muni.cz/publication/406263/cs