Formal Methods in Computing

Összefoglaló

This collection of tutorials has been written by the members of the Working Group on Formal Methods at the Regional Centre of the Hungarian Academy of Sciences, Veszprém (VEAB). The group was composed of mathematicians and engineers, all of them with strong interest in computation. The main idea leading to the cooperation was that the ever-growing complexity of systems in information technology makes their design and implementation process uncontrollable by traditional, mostly intuitive engineering methods. The present collection of tutorials, which, according to our hopes, is intended to be the first in a series, provides the reader with concise summaries on some selected fields of mathematics and computer science, which have significance from the practical perspectives of information engineering.