Cantitate/Preț
Produs
Total produse
Vezi coșul
Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings de Georgiana Caltais

Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings: Lecture Notes in Computer Science, cartea 13872

Editat de Georgiana Caltais, Christian Schilling
en Limba Engleză Paperback – 2 mai 2023
This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26–27, 2023. 

The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: binary decision diagrams, concurrency, testing, synthesis, explicit-state model checking.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 40069 lei

Puncte Express: 601
Preț estimativ în valută:
7083€ • 8446$ • 6144£

Carte tipărită la comandă

Livrare economică 16-30 martie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783031321566
ISBN-10: 3031321561
Pagini: 199
Ilustrații: X, 199 p. 50 illus., 24 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.3 kg
Ediția:1st ed. 2023
Editura: Springer Nature Switzerland
Colecția Springer
Seria Lecture Notes in Computer Science

Locul publicării:Cham, Switzerland

Cuprins

Binary Decision Diagrams.- Efficient Implementation of LIMDDs for Quantum Circuit\ Simulation.- ParaGnosis: A Tool for Parallel Knowledge Compilation.- Concurrency.- Model Checking Futexes.- Sound Concurrent Traces for Online Monitoring.- Testing.- Efficient Trace Generation for Rare-Event Analysis in Chemical Reaction Networks.- Accelerating black box testing with light-weight learning.- Synthesis.- WikiCoder: Learning to Write Knowledge-Powered Code.-  Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties.- Explicit-state Model Checking.- Elimination of Detached Regions in Dependency Graph Verification.- Potency-Based Heuristic Search with Randomness for Explicit Model Checking.- GPUexplore 3.0: GPU Accelerated State Space Exploration for Concurrent Systems with Data.