Result Details

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.
Type
conference paper
Language
English
Authors
Křena Bohuslav, Ing., Ph.D., DITS (FIT)
Abstract

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.

Keywords

Formal verification, case study, the game of Go, computer Go.

Published
2006
Pages
95–100
Proceedings
Proceedings of XXVIIIth International Autumn Colloquium ASIS 2006: Advanced Simulation of Systems
Conference
28th International Autumn Colloquium Advanced Simulation of Systems - ASIS 2006
ISBN
80-86840-26-3
Publisher
Marq software s.r.o.
Place
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"
}
Projects
Automated methods and tools supporting development of reliable parallel and distributed systems, GACR, Standardní projekty, GA102/04/0780, start: 2004-01-01, end: 2006-12-31, completed
Methods and Tools for Automated Bug Detection in Software, GACR, Postdoktorandské granty, GP102/06/P076, start: 2006-01-01, end: 2008-12-31, completed
Research groups
Automated Analysis and Verification Research Group - VeriFIT (RG VERIFIT)
Departments
Department of Intelligent Systems (DITS)
Back to top