000 05595cam a2200841Ii 4500
001 ocn946503936
003 OCoLC
005 20200626121347.0
006 m o d
007 cr cnu|||unuuu
008 160412s2016 sz a ob 101 0 eng d
040 _aGW5XE
_beng
_erda
_epn
_cGW5XE
_dOCLCO
_dYDXCP
_dOCLCF
_dOCLCO
_dUPM
_dAKR
_dOCLCO
_dKSU
_dCOO
_dIAD
_dJBG
_dICW
_dILO
_dICN
_dESU
_dIOG
_dU3W
_dBUF
_dJG0
_dCEF
_dCRU
_dTFW
_dESEHU
_dEBLCP
_dWYU
_dUKMGB
_dOCLCQ
_dOCLCO
_dOCLCQ
_dOCLCO
_dOCLCQ
016 7 _a019188192
_2Uk
020 _a9783319325828
_q(electronic bk.)
020 _a3319325825
_q(electronic bk.)
020 _z9783319325811
_q(print)
024 7 _a10.1007/978-3-319-32582-8
_2doi
029 1 _aAU@
_b000057668975
029 1 _aDKDLA
_b820120-katalog:000730805
029 1 _aNLGGC
_b404403107
029 1 _aUKMGB
_b019188192
035 _a(OCoLC)946503936
037 _acom.springer.onix.9783319325828
_bSpringer Nature
050 4 _aQA76.76.V47
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
082 0 4 _a005.1/4
_223
049 _aMAIN
111 2 _aInternational SPIN Workshop
_n(23rd :
_d2016 :
_cEindhoven, Netherlands)
_956938
245 1 0 _aModel checking software :
_b23rd International Symposium, SPIN 2016, co-located with ETAPS 2016, Eindhoven, the Netherlands, April 7-8, 2016, Proceedings /
_cDragan Bošnački, Anton Wijs (eds.).
246 3 _aSPIN 2016
264 1 _aSwitzerland :
_bSpringer,
_c2016.
300 _a1 online resource (xvi, 245 pages) :
_billustrations
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
490 1 _aLecture notes in computer science,
_x0302-9743 ;
_v9641
490 1 _aLNCS sublibrary. SL 1, Theoretical computer science and general issues
490 _aSerienbezeichnung
500 _aInternational conference proceedings.
504 _aIncludes bibliographical references and author index.
588 0 _aOnline resource; title from PDF title page (SpringerLink, viewed April 12, 2016).
505 0 _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.
520 _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.
630 0 0 _aSPIN (Computer file)
_vCongresses.
_915103
630 0 7 _aSPIN (Computer file)
_2fast
_0(OCoLC)fst01387358
_915104
650 0 _aComputer software
_xVerification
_vCongresses.
_915105
650 0 _aSoftware engineering
_vCongresses.
_915264
650 0 _aComputer software
_xTesting
_vCongresses.
_918837
650 7 _aComputers
_xProgramming Languages
_xGeneral.
_2bisacsh
_956939
650 7 _aComputers
_xProgramming
_xGeneral.
_2bisacsh
_953444
650 7 _aMathematics
_xLogic.
_2bisacsh
_956940
650 7 _aProgramming & scripting languages: general.
_2bicssc
_953441
650 7 _aComputer programming
_xsoftware development.
_2bicssc
_953440
650 7 _aMathematical theory of computation.
_2bicssc
_914275
650 7 _aComputers
_xSoftware Development & Engineering
_xGeneral.
_2bisacsh
_94347
650 7 _aSoftware Engineering.
_2bicssc
_914736
650 7 _aComputer software
_xTesting.
_2fast
_0(OCoLC)fst00872601
_94794
650 7 _aComputer software
_xVerification.
_2fast
_0(OCoLC)fst00872604
_91930
650 7 _aSoftware engineering.
_2fast
_0(OCoLC)fst01124185
_914736
655 4 _aElectronic books.
_9396
655 7 _aConference papers and proceedings.
_2fast
_0(OCoLC)fst01423772
_96065
655 7 _aConference papers and proceedings.
_2lcgft
_96065
700 1 _aBošnački, Dragan,
_d1963-
_eeditor.
_916364
700 1 _aWijs, Anton,
_eeditor.
_956941
711 2 _aETAPS (Conference)
_n(19th :
_d2016 :
_cEindhoven, Netherlands),
_jjointly held conference.
_956942
830 0 _aLecture notes in computer science ;
_v9641.
_x0302-9743
_956943
830 0 _aLNCS sublibrary.
_nSL 1,
_pTheoretical computer science and general issues.
_920736
856 4 0 _uhttps://link-springer-com.libraryproxy.ist.ac.at/book/10.1007/978-3-319-32582-8
938 _aProQuest Ebook Central
_bEBLB
_nEBL5579145
938 _aYBP Library Services
_bYANK
_n12974407
994 _a92
_bATIST
999 _c385149
_d385149