LEADER 03691nam  22007335  450 
001 9910720065703321
005 20251225203703.0
010   $a9783031321573$b(electronic bk.)
010   $z9783031321566
024 7 $a10.1007/978-3-031-32157-3
035   $a(MiAaPQ)EBC7243826
035   $a(Au-PeEL)EBL7243826
035   $a(DE-He213)978-3-031-32157-3
035   $a(OCoLC)1378743415
035   $a(PPN)270612157
035   $a(CKB)26557652100041
035   $a(EXLCZ)9926557652100041
100   $a20230501d2023      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aModel Checking Software $e29th International Symposium, SPIN 2023, Paris, France, April 26?27, 2023, Proceedings /$fedited by Georgiana Caltais, Christian Schilling
205   $a1st ed. 2023.
210  1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2023.
215   $a1 online resource (202 pages)
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v13872
311 08$aPrint version: Caltais, Georgiana Model Checking Software Cham : Springer,c2023 9783031321566 
320   $aIncludes bibliographical references and index.
327   $aBinary 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.
330   $aThis 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.
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v13872
606   $aAutomatic control
606   $aRobotics
606   $aAutomation
606   $aSoftware engineering
606   $aArtificial intelligence
606   $aComputer engineering
606   $aComputer networks
606   $aControl, Robotics, Automation
606   $aSoftware Engineering
606   $aArtificial Intelligence
606   $aComputer Engineering and Networks
615  0$aAutomatic control.
615  0$aRobotics.
615  0$aAutomation.
615  0$aSoftware engineering.
615  0$aArtificial intelligence.
615  0$aComputer engineering.
615  0$aComputer networks.
615 14$aControl, Robotics, Automation.
615 24$aSoftware Engineering.
615 24$aArtificial Intelligence.
615 24$aComputer Engineering and Networks.
676   $a005.30287
702   $aCaltais$b Georgiana
702   $aSchilling$b Christian
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
912   $a9910720065703321
996   $aModel Checking Software$93359484
997   $aUNINA