LIBROS DEL AUTOR: sandip ray

1 resultados para LIBROS DEL AUTOR: sandip ray

sandip ray Eliminar filtro Quitar filtros
  • Scalable Techniques for Formal Verification
    Sandip Ray
    Preliminaries.- Overview of Formal Verification.- to ACL2.- Sequential Program Verification.- Sequential Programs.- Operational Semantics and Assertional Reasoning.- Connecting Different Proof Styles.- Verification of Reactive Systems.- Reactive Systems.- Verifying Concurrent Protocols Using Refinements.- Pipelined Machines.- Invariant Proving.- Invariant Proving.- Predicate Ab...
    Disponible

    146,36 €