03437nam 22006855 450 991048434960332120230220232547.03-540-73370-110.1007/978-3-540-73370-6(CKB)1000000000490800(SSID)ssj0000318968(PQKBManifestationID)11224891(PQKBTitleCode)TC0000318968(PQKBWorkID)10336587(PQKB)10554965(DE-He213)978-3-540-73370-6(MiAaPQ)EBC3061725(MiAaPQ)EBC6698664(Au-PeEL)EBL6698664(PPN)12316334X(EXLCZ)99100000000049080020100301d2007 u| 0engurnn|008mamaatxtccrModel Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings /edited by Dragan Bosnacki, Stefan Edelkamp1st ed. 2007.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2007.1 online resource (X, 285 p.) Theoretical Computer Science and General Issues,2512-2029 ;4595"Collocated with CAV 2007, the 19th Computer-Aided Verification Conference"-- Pref.3-540-73369-8 Includes bibliographical references and index.StackSnuffer: Curing Orion’s Unsoundness -- Tutorial: Parallel Model Checking -- Local Abstraction-Refinement for the mu-Calculus -- Minimal Counterexample Generation for SPIN -- Generating Counter-Examples Through Randomized Guided Search -- Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software -- Some Solutions to the Ignoring Problem -- Cartesian Partial-Order Reduction -- On-the-Fly Dynamic Dead Variable Analysis -- SAT-Based Summarization for Boolean Programs -- LTL Satisfiability Checking -- An Embeddable Virtual Machine for State Space Generation -- Scalable Multi-core LTL Model-Checking -- A SystemC/TLM Semantics in Promela and Its Possible Applications -- Towards Model Checking Spatial Properties with SPIN -- Model Extraction for ARINC 653 Based Avionics Software -- BEEM: Benchmarks for Explicit Model Checkers -- C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs -- ACSAR: Software Model Checking with Transfinite Refinement -- Instrumenting C Programs with Nested Word Monitors.Theoretical Computer Science and General Issues,2512-2029 ;4595Software engineeringCompilers (Computer programs)Computer scienceSoftware EngineeringCompilers and InterpretersComputer Science Logic and Foundations of ProgrammingSoftware engineering.Compilers (Computer programs).Computer science.Software Engineering.Compilers and Interpreters.Computer Science Logic and Foundations of Programming.005.1/4Bošnački Dragan1963-Edelkamp StefanCAV (Conference)(19th :2007 :Berlin, Germany)MiAaPQMiAaPQMiAaPQBOOK9910484349603321Model Checking Software3359484UNINA