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