. . . "distributed verification; LTL model checking"@en . . . "[726401EDB5FC]" . . . "Seatle, WA, USA" . "\u010Cern\u00E1, Ivana" . "Computer Aided Verification" . "0302-9743" . . "Brim, Lubo\u0161" . "14330" . "DiVinE -- A Tool for Distributed Verification"@en . "DiVinE -- A Tool for Distributed Verification"@en . "Moravec, Pavel" . . . . "2006-01-01+01:00"^^ . . "6"^^ . . "4"^^ . . "\u0160ime\u010Dek, Pavel" . "DiVinE -- A Tool for Distributed Verification" . . "We present a tool for cluster-based LTL model-checking and reachability analysis. The tool incorporates several novel distributed-memory algorithms and provides a unique interface to use them. We describe the basic structure of the tool, discuss the main architecture decisions made, and briefly explain how the tool can be used." . . "Springer-Verlag" . . "RIV/00216224:14330/06:00015443" . "Barnat, Ji\u0159\u00ED" . "We present a tool for cluster-based LTL model-checking and reachability analysis. The tool incorporates several novel distributed-memory algorithms and provides a unique interface to use them. We describe the basic structure of the tool, discuss the main architecture decisions made, and briefly explain how the tool can be used."@en . "6"^^ . "Ro\u010Dkai, Petr" . "472058" . "Berlin" . . . . "RIV/00216224:14330/06:00015443!RIV10-GA0-14330___" . "000240257000024" . . . "978-3-540-37406-0" . "P(1ET408050503), P(1M0545), P(GA201/06/1338), P(GD102/05/H050), Z(MSM0021622419)" . . "DiVinE -- A Tool for Distributed Verification" . . .