03382nam 2200613 a 450 991048480540332120200520144314.01-280-38959-197866135675123-642-16164-210.1007/978-3-642-16164-3(CKB)2670000000045146(SSID)ssj0000446632(PQKBManifestationID)11249946(PQKBTitleCode)TC0000446632(PQKBWorkID)10511801(PQKB)11624140(DE-He213)978-3-642-16164-3(MiAaPQ)EBC3065903(PPN)149025300(EXLCZ)99267000000004514620100818d2010 uy 0engurnn|008mamaatxtccrModel checking software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, proceedings /Jaco van de Pol, Michael Weber, (eds.)1st ed. 2010.Berlin ;Heidelberg Springer20101 online resource (X, 263 p. 70 illus.) LNCS sublibrary. SL 1, Theoretical computer science and general issuesLecture notes in computer science,0302-9743 ;v. 6349Bibliographic Level Mode of Issuance: Monograph3-642-16163-4 Includes bibliographical references and index.Satisfiability Modulo Theories for Model Checking -- SMT-Based Software Model Checking -- Symbolic Object Code Analysis -- Model Checking in Context -- Experimental Comparison of Concolic and Random Testing for Java Card Applets -- Combining SPIN with ns-2 for Protocol Optimization -- Automatic Generation of Model Checking Scripts Based on Environment Modeling -- Implementation and Performance of Model Checking -- Model Checking: Cleared for Take Off -- Context-Enhanced Directed Model Checking -- Efficient Explicit-State Model Checking on General Purpose Graphics Processors -- The SpinJa Model Checker -- LTL and Büchi Automata -- On the Virtue of Patience: Minimizing Büchi Automata -- Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance -- Nevertrace Claims for Model Checking -- Infinite State Models -- A False History of True Concurrency: From Petri to Tools -- Analysing Mu-Calculus Properties of Pushdown Systems -- Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains -- An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models -- Concurrent Software -- Context-Bounded Translations for Concurrent Software: An Empirical Evaluation -- One Stack to Run Them All.Lecture notes in computer science ;6349.LNCS sublibrary.SL 1,Theoretical computer science and general issues.Computer softwareVerificationsCongressesSpin (Computer program language)Computer softwareVerificationsSpin (Computer program language)005.1Pol Jaco van de1755261Weber Michael190946International SPIN WorkshopMiAaPQMiAaPQMiAaPQBOOK9910484805403321Model checking software4199384UNINA