Constraint-based verification of imperative programs

Master thesis English OPEN
Beyene, Tewodros Awgichew;
  • Publisher: Faculdade de Ciências e Tecnologia
  • Subject: Program verification | Model checking | Constraint programming

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 comput... View more
  • Metrics
    views in OpenAIRE
    views in local repository
    downloads in local repository

    The information is available from the following content providers:

    FromNumber Of ViewsNumber Of Downloads
    Biblioteca Virtual UNL 2 1
Share - Bookmark