Atjaunināt sīkdatņu piekrišanu

Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 1516, 2019, Proceedings 2019 ed. [Mīkstie vāki]

Edited by , Edited by , Edited by
  • Formāts: Paperback / softback, 261 pages, height x width: 235x155 mm, weight: 454 g, 41 Illustrations, color; 564 Illustrations, black and white; X, 261 p. 605 illus., 41 illus. in color., 1 Paperback / softback
  • Sērija : Lecture Notes in Computer Science 11636
  • Izdošanas datums: 14-Sep-2019
  • Izdevniecība: Springer Nature Switzerland AG
  • ISBN-10: 3030309223
  • ISBN-13: 9783030309220
Citas grāmatas par šo tēmu:
  • Mīkstie vāki
  • Cena: 46,91 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Standarta cena: 55,19 €
  • Ietaupiet 15%
  • Grāmatu piegādes laiks ir 3-4 nedēļas, ja grāmata ir uz vietas izdevniecības noliktavā. Ja izdevējam nepieciešams publicēt jaunu tirāžu, grāmatas piegāde var aizkavēties.
  • Daudzums:
  • Ielikt grozā
  • Piegādes laiks - 4-6 nedēļas
  • Pievienot vēlmju sarakstam
Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 1516, 2019, Proceedings 2019 ed.Palielināt
  • Formāts: Paperback / softback, 261 pages, height x width: 235x155 mm, weight: 454 g, 41 Illustrations, color; 564 Illustrations, black and white; X, 261 p. 605 illus., 41 illus. in color., 1 Paperback / softback
  • Sērija : Lecture Notes in Computer Science 11636
  • Izdošanas datums: 14-Sep-2019
  • Izdevniecība: Springer Nature Switzerland AG
  • ISBN-10: 3030309223
  • ISBN-13: 9783030309220
Citas grāmatas par šo tēmu:
Permanent link: https://www.kriso.lv/db/9783030309220.html
Keywords:

This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019.

The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selected from 29 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more. 

Model Veri?cation Through Dependency Graphs.- Model Checking Branching Time Properties for Incomplete Markov Chains.- A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table.- From Dynamic State Machines to Promela.- String abstraction for model checking of C programs.- Swarm Model Checking on the GPU.- Statistical Model Checking of Complex Robotic Systems.- STAD: Stack Trace Based Automatic Software Miscon?guration Diagnosis via Value Dependency Graph.- Extracting Safe Thread Schedules from Incomplete Model Checking Results.- Learning Guided Enumerative Synthesis for Superoptimization.- Applying Model Checking Approach with Floating Point Arithmetic.- Conformance Testing of Schedulers for DSL-based Model Checking.- A Study of Learning Data Structure Invariants Using O?-the-shelf Tools.- VeriVANca: An Actor-Based Framework for Formal Veri?cation of Warning Message Dissemination Schemes in VANETs.