000 03628nam a22003735i 4500
001 300441
003 MX-SnUAN
005 20160429155629.0
007 cr nn 008mamaa
008 150903s2009 gw | o |||| 0|eng d
020 _a9783642026522
_99783642026522
024 7 _a10.1007/9783642026522
_2doi
035 _avtls000353406
039 9 _a201509030519
_bVLOAD
_c201405060320
_dVLOAD
_y201402180944
_zstaff
040 _aMX-SnUAN
_bspa
_cMX-SnUAN
_erda
050 4 _aQA76.758
100 1 _aP?s?reanu, Corina S.
_eeditor.
_9337852
245 1 0 _aModel Checking Software :
_b16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings /
_cedited by Corina S. P?s?reanu.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2009.
300 _brecurso en línea.
336 _atexto
_btxt
_2rdacontent
337 _acomputadora
_bc
_2rdamedia
338 _arecurso en línea
_bcr
_2rdacarrier
347 _aarchivo de texto
_bPDF
_2rda
490 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v5578
500 _aSpringer eBooks
505 0 _aInvited Contributions -- Software Model Checking Improving Security of a Billion Computers -- On Quantitative Software Verification -- The Quest for Correctness-Beyond a Posteriori Verification -- Who Really Cares If the Program Crashes? -- Regular Papers -- Tool Presentation: Teaching Concurrency and Model Checking -- Fast, All-Purpose State Storage -- Efficient Probabilistic Model Checking on General Purpose Graphics Processors -- Improving Non-Progress Cycle Checks -- Reduction of Verification Conditions for Concurrent System Using Mutually Atomic Transactions -- Probabilistic Reachability for Parametric Markov Models -- Extrapolation-Based Path Invariants for Abstraction Refinement of Fifo Systems -- A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks -- Eclipse Plug-In for Spin and st2msc Tools-Tool Presentation -- Symbolic Analysis via Semantic Reinterpretation -- EMMA: Explicit Model Checking Manager (Tool Presentation) -- Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution -- Subsumer-First: Steering Symbolic Reachability Analysis -- Identifying Modeling Errors in Signatures by Model Checking -- Towards Verifying Correctness of Wireless Sensor Network Applications Using Insense and Spin -- Verification of GALS Systems by Combining Synchronous Languages and Process Calculi -- Experience with Model Checking Linearizability -- Automatic Discovery of Transition Symmetry in Multithreaded Programs Using Dynamic Analysis.
520 _aThis book constitutes the refereed proceedings of the 16th International SPIN workshop on Model Checking Software, SPIN 2009, held in Grenoble, France, in June 2009. The 15 revised full papers presented together with 3 tool papers and 4 invited talks were carefully reviewed and selected from 41 submissions. The papers cover theoretical and algorithmic foundations as well as tools for software model checking by addressing theoretical advances and empirical evaluations related to state-space and path exploration techniques, as implemented in software verification tools.
590 _aPara consulta fuera de la UANL se requiere clave de acceso remoto.
710 2 _aSpringerLink (Servicio en línea)
_9299170
776 0 8 _iEdición impresa:
_z9783642026515
856 4 0 _uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-642-02652-2
_zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942 _c14
999 _c300441
_d300441