prof. RNDr. Jiří Barnat, Ph.D.

2002

• How to distribute LTL model-checking using decomposition of negative claim automaton

  BARNAT Jiří

  Article in Proceedings

  SOFSEM 2002 Student Research Forum Proceedings, year: 2002

• Property Driven Distribution of Nested DFS

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana

  Article in Proceedings

  M. Leuschel and U. Ultes-Nitsche (Eds.): Proceedings of the 3rd International Workshop on Verification and Computational Logic, year: 2002

• Using verified property to partition the state space in LTL model-checking

  BARNAT Jiří

  Article in Proceedings

  F. Cassez, C. Jard, F. Laroussinie, and M.D. Ryan (Eds.): Modelling and Verification of Parallel processes, year: 2002

2001

• Distributed LTL Model-Checking in SPIN

  BARNAT Jiří BRIM Luboš STŘÍBRNÁ Jitka

  Article in Proceedings

  M.B. Dwyer (Ed.): Model Checking Software, 8th International SPIN Workshop, year: 2001

2000

• Distributed LTL Model-Checking in SPIN

  BARNAT Jiří BRIM Luboš STŘÍBRNÁ Jitka

  Monograph

  Year: 2000, number of pages: 16 s.