LIBROS DEL AUTOR: tevfik bultan

1 resultados para LIBROS DEL AUTOR: tevfik bultan

tevfik bultan Eliminar filtro Quitar filtros
  • String Analysis for Software Verification and Security
    Fang Yu / Muath Alkhalaf / Tevfik Bultan
    This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string operations using automata, symbolic representation of automata, forward and backward string analysis using symbolic automata representation, con...
    Disponible

    85,23 €