publication . Master thesis . 2011

Constraint-based verification of imperative programs

Beyene, Tewodros Awgichew;
Open Access English
  • Published: 01 Jan 2011
  • Publisher: Faculdade de Ciências e Tecnologia
  • Country: Portugal
Abstract
work presented in the context of the European Master’s program in Computational Logic, as the partial requirement for obtaining Master of Science degree in Computational Logic The continuous reduction in the cost of computing ever since the first days of computers has resulted in the ubiquity of computing systems today; there is no any sphere of life in the daily routine of human beings that is not directly or indirectly influenced by computer systems anymore. But this high reliance on computers has not come without a risk to the society or a challenge to computer scientists. As many computer systems of today are safety critical, it is crucial for computer scien...
Subjects
free text keywords: Program verification, Model checking, Constraint programming
Related Organizations
Powered by OpenAIRE Research Graph
Any information missing or wrong?Report an Issue