LEADER 03871nam 22006015 450 001 996465884403316 005 20230405233849.0 024 7 $a10.1007/11537328 035 $a(CKB)1000000000213174 035 $a(SSID)ssj0000318970 035 $a(PQKBManifestationID)11240032 035 $a(PQKBTitleCode)TC0000318970 035 $a(PQKBWorkID)10336290 035 $a(PQKB)11318861 035 $a(DE-He213)978-3-540-31899-6 035 $a(MiAaPQ)EBC3067914 035 $a(PPN)123096669 035 $a(EXLCZ)991000000000213174 100 $a20100723d2005 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aModel Checking Software$b[electronic resource] $e12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings /$fedited by Patrick Godefroid 205 $a1st ed. 2005. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005. 215 $a1 online resource (XII, 292 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3639 300 $aAlso available on the Internet. 311 08$aPrinted edition: 9783540281955 320 $aIncludes bibliographical references. 327 $aInvited Talks/Papers -- Pushdown Model Checking for Security -- Execution Generated Test Cases: How to Make Systems Code Crash Itself -- Invited Tutorials -- Effective Bug Hunting with Spin and Modex -- The BLAST Software Verification System -- Model Checking Programs with Java PathFinder -- State Representation and Abstraction -- An Incremental Heap Canonicalization Algorithm -- Memory Efficient State Space Storage in Explicit Software Model Checking -- Counterexample-Based Refinement for a Boundedness Test for CFSM Languages -- Dealing with Concurrency -- Symbolic Model Checking for Asynchronous Boolean Programs -- Improving Spin?s Partial-Order Reduction for Breadth-First Search -- Sound Transaction-Based Reduction Without Cycle Detection -- Dealing with Complex Data -- Repairing Structurally Complex Data -- Crafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation Choices -- Behavioural Models for Hierarchical Components -- Checking Temporal Properties -- On-the-Fly Emptiness Checks for Generalized Büchi Automata -- Stuttering Congruence for ? -- Verifying Pattern-Generated LTL Formulas: A Case Study -- Checking Security and Real-Time Properties -- Generic Verification of Security Protocols -- Using SPIN and Eclipse for Optimized High-Level Modeling and Analysis of Computer Network Attack Models -- Model Checking Machine Code with the GNU Debugger -- Tool Papers -- Etch: An Enhanced Type Checking Tool for Promela -- Enhanced Probabilistic Verification with 3Spin and 3Murphi -- SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions -- Learning-Based Assume-Guarantee Verification (Tool Paper). 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3639 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aComputer science 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aComputer Science Logic and Foundations of Programming 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs). 615 0$aComputer science. 615 14$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aComputer Science Logic and Foundations of Programming. 676 $a005.1/4 702 $aGodefroid$b Patrick$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 02$aLINK (Online service) 906 $aBOOK 912 $a996465884403316 996 $aModel Checking Software$9771961 997 $aUNISA LEADER 01030nas 2200373 c 450 001 9910893666003321 005 20171201174817.0 035 $a(CKB)5280000000200104 035 $a(DE-599)ZDB2780468-9 035 $a(DE-101)1054621144 035 $a(EXLCZ)995280000000200104 100 $a20140804b20042008 |y | 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aIndonesia young adult reproductive health survey$fStatistics Indonesia .. 210 31$aJakarta$d2004-2008 215 $aOnline-Ressource 517 1 $aIndonesia special 608 $aZeitschrift$2gnd-content 608 $aStatistik$2gnd-content 676 $a310 676 $a300 676 $a610 712 02$aIndonesien$bBadan Pusat Statistik$4isb 801 0$b0206 801 1$bDE-101 801 2$b9999 906 $aJOURNAL 912 $a9910893666003321 996 $aIndonesia young adult reproductive health survey$94234580 997 $aUNINA