Model checking software : 23rd International Symposium, SPIN 2016, co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings /: 23rd International Symposium, SPIN 2016, co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. (2016)

• Record Type: Book
• Other Titles: SPIN 2016
• Further Information: Note: Dragan Bošnački, Anton Wijs (eds.).
• Editors: Bošnački, Dragan, 1963-; Wijs, Anton
• Other Names: International SPIN Workshop, 23rd; ETAPS (Conference), 19th
• Contents: Automated Analysis of Asynchronously Communicating Systems -- Symbolic Game Semantics for Model Checking Program Families -- Compositional Semantics and Analysis of Hierarchical Block Diagrams -- Using SPIN for the Optimized Scheduling of Discrete Event Systems in Manufacturing -- River Basin Management with SPIN -- ESBMCQtOM: A Bounded Model Checking Tool to Verify Qt Applications -- Autonomous Agent Behaviour Modelled in PRISM -- Certication for -Calculus with Winning Strategies -- Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization -- Finite-Horizon Bisimulation Minimisation for Probabilistic Systems -- Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking -- smid: A Black-Box Program Driver -- On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators -- SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration -- A Tool Integrating Model Checking into a C Verification Toolset -- Fair Testing and Stubborn Sets.
• Publisher Details: Switzerland : Springer
• Publication Date: 2016
• Extent: 1 online resource (xvi, 245 pages), illustrations
• Subjects: 005.1/4; Computer science; Computer software -- Verification -- Congresses; Software engineering -- Congresses; Computer software -- Testing -- Congresses; Computer software -- Testing; Computer software -- Verification; Software engineering; Computers -- Programming Languages -- General; Computers -- Programming -- General; Mathematics -- Logic; Programming & scripting languages: general; Computer programming / software development; Mathematical theory of computation; Software engineering; Logic design; Computers -- Software Development & Engineering -- General; Software Engineering; Electronic books; Conference papers and proceedings; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319325828; 3319325825
• Related ISBNs: 9783319325811
• Notes: Note: Includes bibliographical references and author index.; Note: Online resource; title from PDF title page (SpringerLink, viewed April 12, 2016).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.