"\u010Cl\u00E1nek se sna\u017E\u00ED odpov\u011Bd\u011Bt na ot\u00E1zku, zda hran\u00ED hry Go po\u010D\u00EDta\u010Dem m\u016F\u017Ee b\u00FDt ch\u00E1p\u00E1no jako verifika\u010Dn\u00ED p\u0159\u00EDpadov\u00E1 studie. Nejd\u0159\u00EDve je uvedena oblast form\u00E1ln\u00ED verifikace a p\u0159edstavena hra Go a dosavadn\u00ED pokusy o jej\u00ED hran\u00ED po\u010D\u00EDta\u010Dem. N\u00E1sledn\u011B jsou porovn\u00E1ny principy a metody pou\u017E\u00EDvan\u00E9 pro formaln\u00ED verifikaci s Go programy. \u010Cl\u00E1nek uzav\u00EDr\u00E1 zhodnocen\u00ED mo\u017En\u00FDch p\u0159\u00EDnos\u016F v\u00FDvoje Go program\u016F pro zlep\u0161en\u00ED metod form\u00E1ln\u00ED verifikace."@cs . "Computer Go as a Verification Case Study" . . "Proceedings of XXVIIIth International Autumn Colloquium ASIS 2006: Advanced Simulation of Systems" . "[0390B4E360FE]" . "Computer Go as a Verification Case Study"@en . "80-86840-26-3" . "26230" . . "95-100" . "2006-09-12+02:00"^^ . . . "This paper discuss whether Computer Go can be understood as a verification case study. For finding the answer, we, at first, survey the area of formal verification then present the game of Go and attempts to play it by computers - Computer Go. After that, we compare underlying principles and optimizations methods used within formal verification and Computer Go. Evaluation of potential benefits of advancements in Computer Go for improving formal verification methods concludes the paper." . "Vranov (u Brna)" . "Formal verification, case study, the game of Go, computer Go."@en . "K\u0159ena, Bohuslav" . "469501" . . "Hran\u00ED Go po\u010D\u00EDta\u010Dem jako verifika\u010Dn\u00ED p\u0159\u00EDpadov\u00E1 studie"@cs . "P(GA102/04/0780), P(GP102/06/P076)" . . "RIV/00216305:26230/06:PU66962" . "Neuveden" . "This paper discuss whether Computer Go can be understood as a verification case study. For finding the answer, we, at first, survey the area of formal verification then present the game of Go and attempts to play it by computers - Computer Go. After that, we compare underlying principles and optimizations methods used within formal verification and Computer Go. Evaluation of potential benefits of advancements in Computer Go for improving formal verification methods concludes the paper."@en . "Ostrava" . "Hran\u00ED Go po\u010D\u00EDta\u010Dem jako verifika\u010Dn\u00ED p\u0159\u00EDpadov\u00E1 studie"@cs . "Computer Go as a Verification Case Study" . . . "RIV/00216305:26230/06:PU66962!RIV08-GA0-26230___" . "Computer Go as a Verification Case Study"@en . . . "1"^^ . "6"^^ . . . . . "1"^^ . . . . .