Detail výsledku
Computer Go as a Verification Case Study
KŘENA, B. Computer Go as a Verification Case Study. Proceedings of XXVIIIth International Autumn Colloquium ASIS 2006: Advanced Simulation of Systems. Ostrava: Marq software s.r.o., 2006. p. 95-100. ISBN: 80-86840-26-3.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Křena Bohuslav, Ing., Ph.D., UITS (FIT)
Abstrakt
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.
Klíčová slova
Formal verification, case study, the game of Go, computer Go.
Rok
2006
Strany
95–100
Sborník
Proceedings of XXVIIIth International Autumn Colloquium ASIS 2006: Advanced Simulation of Systems
Konference
28th International Autumn Colloquium Advanced Simulation of Systems - ASIS 2006
ISBN
80-86840-26-3
Vydavatel
Marq software s.r.o.
Místo
Ostrava
BibTeX
@inproceedings{BUT22258,
author="Bohuslav {Křena}",
title="Computer Go as a Verification Case Study",
booktitle="Proceedings of XXVIIIth International Autumn Colloquium ASIS 2006: Advanced Simulation of Systems",
year="2006",
pages="95--100",
publisher="Marq software s.r.o.",
address="Ostrava",
isbn="80-86840-26-3"
}
Projekty
Automatizované metody a nástroje pro vývoj spolehlivých paralelních a distribuovaných systémů, GAČR, Standardní projekty, GA102/04/0780, zahájení: 2004-01-01, ukončení: 2006-12-31, ukončen
Metody a nástroje pro automatizované odhalování softwarových chyb, GAČR, Postdoktorandské granty, GP102/06/P076, zahájení: 2006-01-01, ukončení: 2008-12-31, ukončen
Metody a nástroje pro automatizované odhalování softwarových chyb, GAČR, Postdoktorandské granty, GP102/06/P076, zahájení: 2006-01-01, ukončení: 2008-12-31, ukončen
Výzkumné skupiny
Pracoviště
Ústav inteligentních systémů
(UITS)