LEADER 04182nam  22007335  450 
001 996465717603316
005 20230222210658.0
010   $a3-319-32582-5
024 7 $a10.1007/978-3-319-32582-8
035   $a(CKB)3710000000653148
035   $a(SSID)ssj0001666010
035   $a(PQKBManifestationID)16455285
035   $a(PQKBTitleCode)TC0001666010
035   $a(PQKBWorkID)15000036
035   $a(PQKB)10913930
035   $a(DE-He213)978-3-319-32582-8
035   $a(MiAaPQ)EBC6285704
035   $a(MiAaPQ)EBC5579145
035   $a(Au-PeEL)EBL5579145
035   $a(OCoLC)946503936
035   $a(PPN)19344402X
035   $a(EXLCZ)993710000000653148
100   $a20160407d2016      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aModel Checking Software$b[electronic resource] $e23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings /$fedited by Dragan Bo?na?ki, Anton Wijs
205   $a1st ed. 2016.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016.
215   $a1 online resource (XVI, 245 p. 75 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9641
300   $aIncludes index.
311   $a3-319-32581-7 
327   $aAutomated Analysis of Asynchronously Communicating Systems -- Symbolic Game Semantics for Model Checking Program Families -- Compositional Semantics and Analysis of Hierarchical Block Diagrams -- Using SPIN for the Optimized Scheduling of Discrete Event Systems in Manufacturing -- River Basin Management with SPIN -- ESBMCQtOM: A Bounded Model Checking Tool to Verify Qt Applications -- Autonomous Agent Behaviour Modelled in PRISM -- Certication for -Calculus with Winning Strategies -- Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization -- Finite-Horizon Bisimulation Minimisation for Probabilistic Systems -- Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking -- smid: A Black-Box Program Driver -- On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators -- SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration -- A Tool Integrating Model Checking into a C Verification Toolset -- Fair Testing and Stubborn Sets.
330   $aThis book constitutes the refereed proceedings of the 23rd International Symposium on Model Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016. The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4 tool demonstrations, were carefully reviewed and selected from 27 submissions. Topics covered include model checking techniques, model checking tools, concurrent system semantics, equivalence checking, temporal logics, probabilistic systems, schedule and strategy synthesis using model checking, and verification case studies.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9641
606   $aSoftware engineering
606   $aCompilers (Computer programs)
606   $aComputer science
606   $aMachine theory
606   $aSoftware Engineering
606   $aCompilers and Interpreters
606   $aComputer Science Logic and Foundations of Programming
606   $aFormal Languages and Automata Theory
615  0$aSoftware engineering.
615  0$aCompilers (Computer programs).
615  0$aComputer science.
615  0$aMachine theory.
615 14$aSoftware Engineering.
615 24$aCompilers and Interpreters.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aFormal Languages and Automata Theory.
676   $a005.14
702   $aBo?na?ki$b Dragan$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aWijs$b Anton$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996465717603316
996   $aModel Checking Software$9771961
997   $aUNISA