LEADER 04243nam  22007335  450 
001 996466423203316
005 20230329233433.0
010   $a3-030-30923-1
024 7 $a10.1007/978-3-030-30923-7
035   $a(CKB)4100000009382602
035   $a(DE-He213)978-3-030-30923-7
035   $a(MiAaPQ)EBC5920874
035   $a(PPN)24860161X
035   $a(EXLCZ)994100000009382602
100   $a20190913d2019      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aModel Checking Software$b[electronic resource] $e26th International Symposium, SPIN 2019, Beijing, China, July 15?16, 2019, Proceedings /$fedited by Fabrizio Biondi, Thomas Given-Wilson, Axel Legay
205   $a1st ed. 2019.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019.
215   $a1 online resource (X, 261 p. 605 illus., 41 illus. in color.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11636
311   $a3-030-30922-3 
327   $aModel Veri?cation Through Dependency Graphs -- Model Checking Branching Time Properties for Incomplete Markov Chains -- A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table -- From Dynamic State Machines to Promela -- String abstraction for model checking of C programs -- Swarm Model Checking on the GPU -- Statistical Model Checking of Complex Robotic Systems -- STAD: Stack Trace Based Automatic Software Miscon?guration Diagnosis via Value Dependency Graph -- Extracting Safe Thread Schedules from Incomplete Model Checking Results -- Learning Guided Enumerative Synthesis for Superoptimization -- Applying Model Checking Approach with Floating Point Arithmetic -- Conformance Testing of Schedulers for DSL-based Model Checking -- A Study of Learning Data Structure Invariants Using O?-the-shelf Tools -- VeriVANca: An Actor-Based Framework for Formal Veri?cation of Warning Message Dissemination Schemes in VANETs.
330   $aThis book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019. The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selected from 29 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more. .
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11636
606   $aSoftware engineering
606   $aComputer science
606   $aAlgorithms
606   $aMachine theory
606   $aComputer simulation
606   $aElectronic digital computers?Evaluation
606   $aSoftware Engineering
606   $aComputer Science Logic and Foundations of Programming
606   $aAlgorithms
606   $aFormal Languages and Automata Theory
606   $aComputer Modelling
606   $aSystem Performance and Evaluation
615  0$aSoftware engineering.
615  0$aComputer science.
615  0$aAlgorithms.
615  0$aMachine theory.
615  0$aComputer simulation.
615  0$aElectronic digital computers?Evaluation.
615 14$aSoftware Engineering.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aAlgorithms.
615 24$aFormal Languages and Automata Theory.
615 24$aComputer Modelling.
615 24$aSystem Performance and Evaluation.
676   $a005.14
702   $aBiondi$b Fabrizio$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aGiven-Wilson$b Thomas$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aLegay$b Axel$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466423203316
996   $aModel Checking Software$9771961
997   $aUNISA