Model checking software : 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings / Georgiana Caltais, Christian Schilling, editors.
International SPIN Workshop (29th : 2023 : Paris, France); Caltais, Georgiana, editor.; Schilling, Christian, editor.
2023
QA76.76.V47 I58 2023eb
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Model checking software : 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings / Georgiana Caltais, Christian Schilling, editors.
Meeting Name International SPIN Workshop (29th : 2023 : Paris, France)
ISBN 9783031321573 (electronic bk.)
303132157X (electronic bk.)
9783031321566 (print)
3031321561
DOI https://doi.org/10.1007/978-3-031-32157-3
Published Cham, Switzerland : Springer, 2023.
Language English
Description 1 online resource (x, 199 pages) : illustrations (some color).
Item Number 10.1007/978-3-031-32157-3 doi
Call Number QA76.76.V47 I58 2023eb
Dewey Decimal Classification 005.1/4
Summary 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.
Note Includes author index.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed May 10, 2023).
Added Author Caltais, Georgiana, editor.
Schilling, Christian, editor.
Series Lecture notes in computer science ; 13872. 1611-3349
Available in Other Form Print version: 9783031321566
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export