LEADER 05269nam 22006135 450 001 996465800503316 005 20230222141552.0 010 $a3-540-33103-4 024 7 $a10.1007/11691617 035 $a(CKB)1000000000232890 035 $a(SSID)ssj0000318971 035 $a(PQKBManifestationID)11265712 035 $a(PQKBTitleCode)TC0000318971 035 $a(PQKBWorkID)10336588 035 $a(PQKB)11349791 035 $a(DE-He213)978-3-540-33103-2 035 $a(MiAaPQ)EBC3067789 035 $a(PPN)123132835 035 $a(EXLCZ)991000000000232890 100 $a20100301d2006 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aModel Checking Software$b[electronic resource] $e13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings /$fedited by Antti Valmari 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 215 $a1 online resource (X, 308 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3925 300 $a"Co-located with the European Joint Conferences on Theory and Practice of Software (ETAPS 2006)"--Pref. 311 $a3-540-33102-6 320 $aIncludes bibliographical references and index. 327 $aDirected Model Checking -- Large-Scale Directed Model Checking LTL -- Directed Model Checking with Distance-Preserving Abstractions -- Adapting an AI Planning Heuristic for Directed Model Checking -- Larger Automata and Less Work for LTL Model Checking -- Markovian Systems -- Don?t Know in Probabilistic Systems -- Symbolic Model Checking of Stochastic Systems: Theory and Implementation -- Distributed Model Checking -- Parallel and Distributed Model Checking in Eddy -- Distributed On-the-Fly Model Checking and Test Case Generation -- Advanced Handling of Data Aspects -- Bounded Model Checking of Software Using SMT Solvers Instead of SAT Solvers -- Symbolic Execution with Abstract Subsumption Checking -- Abstract Matching for Software Model Checking -- Applications -- A Parametric State Space for the Analysis of the Infinite Class of Stop-and-Wait Protocols -- Verification of Medical Guidelines by Model Checking ? A Case Study -- Assume?Guarantee -- Towards a Compositional SPIN -- Partial Order Reduction -- Exploiting Symmetry and Transactions for Partial Order Reduction of Rule Based Specifications -- Partial-Order Reduction for General State Exploring Algorithms -- Tool Demonstrations -- A Counterexample-Guided Refinement Tool for Open Procedural Programs -- jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str) -- Model Checking Dynamic States in GROOVE. 330 $aThe name ?SPIN? refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an annual forum for practitioners and researchersinterested in state space-based techniques for the validation and analysis of software and hardware systems, including communication protocols. It focuses on techniques based on explicit representations of state spaces, as implemented in the SPIN model checker or other tools, and techniques based on a combination of explicit representations with other representations. The SPIN model checker has proven to be particularly suited for the analysis of concurrent asynchronous systems. The workshop aims to encourage interaction and exchange of ideas with all related areas in software engineering. To promote interaction even further, many SPIN workshops have been held in conjunction with other meetings. The 13th International SPIN Workshop on Model Checking of Software was held in Vienna, Austria, co-located with the European Joint Conferences on Theory and Practice of Software (ETAPS) 2006. The earlier SPIN workshops were held in Montreal, Canada (1995); Rutgers University, USA (1996); Twente University, The Netherlands (1997); ENST, Paris, France (1998); Trento, Italy (1999); Toulouse, France (1999); Stanford University, USA (2000); Toronto, Canada (2001); Grenoble, France (2002); Portland, Oregon, USA (2003); Barcelona,Spain(2004);andSanFrancisco,USA(2005).Theproceedingsofthe Trento and Toulouse workshops were published together in Springer?s Lecture Notes in Computer Science volume 1680. From then on, each SPIN proceedings has been published as an individual LNCS volume. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3925 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 $aValmari$b Antti$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465800503316 996 $aModel Checking Software$9771961 997 $aUNISA LEADER 01606nam 2200373 450 001 9910507106603321 005 20231213215813.0 010 $a1-5044-8097-X 024 7 $a10.1109/IEEESTD.2021.9599619 035 $a(CKB)4100000012108948 035 $a(NjHacI)994100000012108948 035 $a(EXLCZ)994100000012108948 100 $a20231213d2021 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$a8802-3:2021/Amd8-2021 $eIEEE/ISO/IEC Telecommunications and exchange between information technology systems -- Requirements for local and metropolitan area networks -- Part 3:Standard for Ethernet AMENDMENT 8: Physical layer specifications and management parameters for 2.5 Gb/s, 5 Gb/s, and 10 Gb/s automotive electrical ethernet /$fInstitute of Electrical and Electronics Engineers 210 1$aNew York, NY, USA :$cIEEE,$d2021. 215 $a1 online resource (210 pages) 330 $aThis amendment to IEEE Std 802.3-2018 adds physical layer specifications and 2.5 Gb/s, 5 Gb/s, and 10 Gb/s operation on a single balanced pair of ductors suitable for automotive applications. 517 $a8802-3 606 $aEthernet (Local area network system) 606 $aLocal area networks (Computer networks) 615 0$aEthernet (Local area network system) 615 0$aLocal area networks (Computer networks) 676 $a004.68 801 0$bNjHacI 801 1$bNjHacl 906 $aDOCUMENT 912 $a9910507106603321 996 $a8802-3:2021$91997474 997 $aUNINA