Scalable Techniques For Formal Verification

CHF 129.00
+ CHF 15.49 Spedizione

Scalable Techniques For Formal Verification

Venduto da:
  • product image

CHF 129.00

Disponibile
+ CHF 15.49 Spedizione

Politica di reso a 14 giorni

Metodi di pagamento:

Dettagli del prodotto

Dettagli del prodotto

Scalable Techniques For Formal Verification

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 Abstraction Via Rewriting.- Formal Integration Of Decision Procedures.- Integrating Deductive And Algorithmic Reasoning.- A Compositional Model Checking Procedure.- Connecting External Deduction Tools With Acl2.- Conclusion.- Summary And Conclusion.
  • Marchio: Springer Nature B.V
  • Categoria: Computer e internet
  • Autore: Sandip Ray
  • Numero di pagine: 260
  • Casa editrice/Casa discografica: Springer Nature B.V
  • Lingua: English
  • Data di pubblicazione: 2014-10-19
  • Formato: Paperback
  • ID Fruugo: 557056941-1125325427
  • ISBN: 9781489984449
Consegna

Consegna

Spedito entro 24 ore

  • STANDARD: CHF 15.49 - Consegna tra gio 12 novembre 2026–lun 16 novembre 2026

Spedizione da Regno Unito.

Resi

Resi

Facciamo del nostro meglio per assicurare che i prodotti che ordini vengano consegnati integralmente e secondo le tue indicazioni. Tuttavia, nel caso dovessi ricevere un ordine incompleto, oppure articoli differenti rispetto a quelli che hai ordinato, o se c'è qualche altro motivo per il quale non sei soddisfatto dell'ordine, puoi effettuare il reso dell'ordine, o qualsiasi prodotto incluso nell'ordine e ricevere un rimborso completo per gli articoli.

Visualizza la politica di reso completa