Online Public Access Catalogue

Model Checking Software (Record no. 17123)

MARC details
020 ## -
-- 9783642161643
-- 978-3-642-16164-3
024 7# -
-- 10.1007/978-3-642-16164-3
-- doi
050 #4 -
-- QA76.758
072 #7 -
-- UMZ
-- bicssc
072 #7 -
-- COM051230
-- bisacsh
082 04 -
-- 005.1
-- 23
100 1# -
-- Pol, Jaco.
-- editor.
245 10 -
-- Model Checking Software
-- [electronic resource] :
-- 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings /
-- edited by Jaco Pol, Michael Weber.
264 #1 -
-- Berlin, Heidelberg :
-- Springer Berlin Heidelberg,
-- 2010.
300 ## -
-- X, 263p. 70 illus.
-- online resource.
336 ## -
-- text
-- txt
-- rdacontent
337 ## -
-- computer
-- c
-- rdamedia
338 ## -
-- online resource
-- cr
-- rdacarrier
347 ## -
-- text file
-- PDF
-- rda
490 1# -
-- Lecture Notes in Computer Science,
-- 0302-9743 ;
-- 6349
505 0# -
-- 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.
520 ## -
-- This volume contains the proceedings of the 17th International SPIN Workshop on Model Checking Software (SPIN 2010). The workshop was organized by and held at the University of Twente, The Netherlands, on 27–29 September 2010. The workshop was co-located with the 5th International Conference on Graph Transformation (ICGT 2010) and several of its satellite workshops, and with the joint PDMC and HiBi workshops, on Parallel and Distributed Methods for veri?Cation and on High-performance computational systems Biology. The SPIN workshopis a forum for practitioners and researchersinterested in state-spaceanalysisofsoftware-intensivesystems.Thisisapplicableinparticular to concurrent and asynchronous systems, including protocols. The name of the workshop re?ects the SPIN model checking tool by Gerard J. Holzmann, which won the ACM System Software Award 2001, and is probably the most widely used industrial-strength model checker around. The focus of the workshop is on theoretical advances and extensions, al- rithmic improvements, and empirical evaluation studies of (mainly) state-based modelcheckingtechniques,asimplementedintheSPINmodelcheckerandother tools. The workshop encourages interaction and exchange of ideas with all - lated areas in software engineering. To this end, we co-located SPIN 2010 with the graph transformation, and high-performance analysis communities. This year, we received 33 submissions, divided between 29 regular and 4 tool papers.Eachpaperwasrigorouslyreviewedbyatleastfourreviewers,andjudged onitsqualityandits signi?canceandrelevanceforSPIN.Weaccepted13regular papers, and 2 tool papers for presentation and for publication in this volume.
650 #0 -
-- Computer science.
650 #0 -
-- Software engineering.
650 #0 -
-- Logic design.
650 14 -
-- Computer Science.
650 24 -
-- Software Engineering.
650 24 -
-- Programming Languages, Compilers, Interpreters.
650 24 -
-- Logics and Meanings of Programs.
650 24 -
-- Mathematical Logic and Formal Languages.
700 1# -
-- Weber, Michael.
-- editor.
710 2# -
-- SpringerLink (Online service)
773 0# -
-- Springer eBooks
776 08 -
-- Printed edition:
-- 9783642161636
830 #0 -
-- Lecture Notes in Computer Science,
-- 0302-9743 ;
-- 6349
856 40 -
-- http://dx.doi.org/10.1007/978-3-642-16164-3
912 ## -
-- ZDB-2-SCS
912 ## -
-- ZDB-2-LNC
950 ## -
-- Computer Science (Springer-11645)
999 ## -
-- 17123
-- 17123

No items available.