Scalable Techniques For Formal Verification

NOK 1 399,00
+ NOK 229,99 i frakt

Scalable Techniques For Formal Verification

Solgt av:
  • product image

NOK 1 399,00

På lager
+ NOK 229,99 i frakt

14-dagers returpolicy

Betalingsmåter:

Produktdetaljer

Produktdetaljer

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.
  • Fruugo-ID: 557056941-1125325427
  • ISBN: 9781489984449
Levering

Leveranse

Sendes i løpet av 24 timer

  • STANDARD: NOK 229,99 - Levering mellom kl man. 30 november 2026–ons. 02 desember 2026

Sendes fra Storbritannia.

Retur

Retur

Vi gjør vårt beste for å sikre at produktene du bestiller, leveres til deg i sin helhet og i samsvar med dine spesifikasjoner. Skulle du likevel motta en ufullstendig bestilling eller andre varer enn dem du bestilte, eller hvis du av en eller annen grunn ikke er fornøyd med bestillingen, kan du returnere bestillingen eller enkeltvarer i bestillingen og motta full refusjon for varene.

Se fullstendige retningslinjer for retur