LEADER 04020nam 22007215 450 001 996465861403316 005 20200703045226.0 010 $a3-540-49444-8 024 7 $a10.1007/3-540-60761-7 035 $a(CKB)1000000000234401 035 $a(SSID)ssj0000325558 035 $a(PQKBManifestationID)11265465 035 $a(PQKBTitleCode)TC0000325558 035 $a(PQKBWorkID)10325876 035 $a(PQKB)11676933 035 $a(DE-He213)978-3-540-49444-7 035 $a(PPN)155217003 035 $a(EXLCZ)991000000000234401 100 $a20121227d1996 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aPartial-Order Methods for the Verification of Concurrent Systems$b[electronic resource] $eAn Approach to the State-Explosion Problem /$fedited by Patrice Godefroid 205 $a1st ed. 1996. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1996. 215 $a1 online resource (IV, 143 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1032 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-60761-7 327 $aConcurrent systems and semantics -- Using partial orders to tackle state explosion -- Persistent sets -- Sleep sets -- Verification of safety properties -- Model checking -- Experiments -- Conclusions. 330 $aThis monograph is a revised version of the author's Ph.D. thesis, submitted to the University of Liège, Belgium, with Pierre Wolper as thesis advisor. The general pattern of this work, is to turn logical and semantic ideas into exploitable algorithms. Thus, it perfectly fits the modern trend, viewing verification as a computer-aided activity, and as algorithmic as possible, not as a paper and pencil one, dealing exclusively with semantic and logical issues. Patrice Godefroid uses state-space exploration as the key technique, which, as such or elaborated into model checking, is attracting growing attention for the verification of concurrent systems. For most realistic examples, the methods presented provide a significant reduction of memory and time requirements for protocol verification. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1032 606 $aComputer logic 606 $aSoftware engineering 606 $aArchitecture, Computer 606 $aComputer communication systems 606 $aComputers 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 615 0$aComputer logic. 615 0$aSoftware engineering. 615 0$aArchitecture, Computer. 615 0$aComputer communication systems. 615 0$aComputers. 615 14$aLogics and Meanings of Programs. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aComputer System Implementation. 615 24$aSoftware Engineering. 615 24$aComputer Communication Networks. 615 24$aComputation by Abstract Devices. 676 $a005.2 700 $aGodefroid$b Patrice$0746741 702 $aGodefroid$b Patrice$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465861403316 996 $aPartial-order methods for the verification of concurrent systems$91490889 997 $aUNISA LEADER 00942nam0 22002651i 450 001 UON00420310 005 20231205104819.35 100 $a20130312d1971 |0itac50 ba 101 $afre 102 $aFR 105 $a|||| 1|||| 200 1 $aClaudel et l'usurpateur$fJacques Petit 210 $aParis$cDesclée de Brouwer$d1971 215 $a211 p.$d22 cm. 606 $aCLAUDEL PAUL$3UONC044780$2FI 620 $aFR$dParis$3UONL002984 676 $a801.95$cCritica letteraria$v21 702 1$aPETIT$bJacques$3UONV143005 712 $aDesclee de Brouwer$3UONV248271$4650 801 $aIT$bSOL$c20240220$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00420310 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI Francese VI B CLA PET 2 $eSI SFR6445 5 2 $sBuono 996 $aClaudel et l'usurpateur$91339476 997 $aUNIOR