2003

• Model checking LTL with regular valuations for pushdown systems

  ESPARZA Javier KUČERA Antonín SCHWOON Stefan

  Článek v odborném periodiku

  Information and Computation, rok: 2003, ročník: 186, vydání: 2

2002

• $\xor$-OBDD in Symbolic Model Checking

  ŘEHÁK Vojtěch

  Článek ve sborníku

  SOFSEM 2002: Student Research Forum, rok: 2002

• Automatizovaná formální verifikace

  BRIM Luboš

  Článek ve sborníku

  XXI. conference EurOpen 2002. Znojmo, Czech republic, rok: 2002

• CONCUR 2002 - Concurrency Theory. 13th International Conference. Proceedings.

  BRIM Luboš JANČAR Petr KŘETÍNSKÝ Mojmír KUČERA Antonín

  Odborná kniha

  Rok: 2002, počet stran: 609 s.

• Distributed Modular Model Checking

  CRHOVÁ Jitka

  Článek ve sborníku

  2002 IEEE International Conference on Automated Software Engineering Doctoral Symposium, rok: 2002

• Distributed Modular Model Checking (abstract)

  CRHOVÁ Jitka

  Článek ve sborníku

  The Seventeenth IEEE International Conference on Automated Software Engineering, rok: 2002

• Equivalence-Checking with Infinite-State Systems: Techniques and Results.

  KUČERA Antonín JANČAR Petr

  Článek ve sborníku

  Proceedings of 29th Conference on Current Trends in Theory and Practice of Informatics (SOFSEM 2002), rok: 2002

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

  BARNAT Jiří

  Článek ve sborníku

  SOFSEM 2002 Student Research Forum Proceedings, rok: 2002

• Local Distributed Model Checking of RegCTL

  ČERNÁ Ivana BRÁZDIL Tomáš

  Článek ve sborníku

  PDMC 2002 Parallel and Distributed Model Checking, rok: 2002

• PDMC 2002 - Parallel and Distributed Model Checking. Proceedings.

  BRIM Luboš GRUMBERG Orna

  Odborná kniha

  Rok: 2002, počet stran: 165 s.