Inicio > > Aplicaciones gráficas y multimedia > Diseño asistido por ordenador (CAD) > SAT-Based Scalable Formal Verification Solutions
SAT-Based Scalable Formal Verification Solutions

SAT-Based Scalable Formal Verification Solutions

Aarti Gupta / Malay Ganai

243,04 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2010
Materia
Diseño asistido por ordenador (CAD)
ISBN:
9781441943415
243,04 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
Sobre IBD

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.- Abstraction/Refinement.- Proof-Based Iterative Abstraction.- Verification Procedure.- SAT-Based Verification Framework.- Synthesis for Verification.

Artículos relacionados

  • Intelligent Industrial Systems
    In recent years, there has been growing interest in industrial systems, especially in robotic manipulators and mobile robot systems. As the cost of robots goes down and become more compact, the number of industrial applications of robotic systems increases. Moreover, there is need to design industrial systems with intelligence, autonomous decision making capabilities, and self-...
  • SolidWorks Flow Simulation 2018 Black Book (Colored)
    Gaurav Verma / Samar
    The SolidWorks Flow Simulation 2018 Black Book is the 1st edition of our series on SolidWorks Flow Simulation. The book is targeted for beginners of SolidWorks Flow Simulation. This book covers the basic equations and terms of Fluid Dynamics theory. The book covers all the major tools of Flow Simulation modules like Fluid Flow, Thermal Fluid Flow, and Electronic Cooling modules...
    Disponible

    59,77 €

  • Autocad 2006 Vol II Incluye Contenido Multimedia
    ICB Editores
    Profundiza tus conocimientos en Autocad 2006. Incluye Solucionarios, Glosario, Bibliografía y Anexo. 10 ...
    Disponible

    39,95 €

  • SOLIDWORKS 2024
    CADArtifex / John Willis / Sandeep Dogra
    SOLIDWORKS 2024: A Power Guide for Beginners and Intermediate Users textbook is designed for both instructor-led courses and self-paced learning. It is intended to help engineers and designers interested in learning SOLIDWORKS for creating 3D mechanical designs. This is a valuable resource for new SOLIDWORKS users and a great teaching tool for classroom training. With 14 chapte...
    Disponible

    74,02 €

  • Autodesk Fusion 360 PCB Black Book (V 2.0.18719)
    Gaurav Verma / Matt Weber
    !!Newer edition of the book Autodesk Fusion PCB Black Book (V 2.0.21528) is available now!!The Autodesk Fusion 360 PCB Black Book (V 2.0.18719) is 2nd edition of our series on Autodesk Fusion 360 PCB. The book is updated on Autodesk Fusion 360 Ultimate, Student V 2.0.18719. With lots of features and thorough review, we present a book to help professionals as well as beginners i...
    Disponible

    60,31 €

  • FreeCAD 0.21
    CADArtifex / John Willis / Sandeep Dogra
    FreeCAD 0.21: A Power Guide for Beginners and Intermediate Users textbook has been designed for instructor-led courses as well as self-paced learning. It is intended to help engineers and designers interested in learning FreeCAD to create 3D mechanical designs. This textbook is an excellent guide for new FreeCAD users and a great teaching aid for classroom training. It consists...
    Disponible

    49,34 €

Otros libros del autor

  • SAT-Based Scalable Formal Verification Solutions
    Aarti Gupta / Malay Ganai
    This book provides an engineering insight into how to provide a scalable and robust verification solution with ever increasing design complexity and sizes. It describes SAT-based model checking approaches and gives engineering details on what makes model checking practical. The book brings together the various SAT-based scalable emerging technologies ...