LIBROS DEL AUTOR: malay ganai

1 resultados para LIBROS DEL AUTOR: malay ganai

malay ganai Eliminar filtro Quitar filtros
  • SAT-Based Scalable Formal Verification Solutions
    Aarti Gupta / Malay Ganai
    Design Verification Challenges.- Design Verification Challenges.- Background.- Basic Infrastructure.- Efficient Boolean Representation.- Hybrid DPLL-Style SAT Solver.- Falsification.- SAT-Based Bounded Model Checking.- Distributed SAT-Based BMC.- Efficient Memory Modeling in BMC.- BMC for Multi-Clock Systems.- Proof Methods.- Proof by Induction.- Unbounded Model Checking.- Abst...
    Disponible

    243,04 €