Model Checking Software: 26th International Symposium, Spin 2019, Beijing, China, July 15-16, 2019, Proceedings (Paperback, 2019)

Model Veri?cation Through Dependency Graphs.- Model Checking Branching Time Properties for Incomplete Markov Chains.- A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table.- From Dynamic State Machines to Promela.- String abstraction for model checking of C programs.- Swarm Model Checking on the GPU.- Statistical Model Checking of Complex Robotic Systems.- STAD: Stack Trace Based Automatic Software Miscon?guration Diagnosis via Value Dependency Graph.- Extracting Safe Thread Schedules from Incomplete Model Checking Results.- Learning Guided Enumerative Synthesis for Superoptimization.- Applying Model Checking Approach with Floating Point Arithmetic.- Conformance Testing of Schedulers for DSL-based Model Checking.- A Study of Learning Data Structure Invariants Using O?-the-shelf Tools.- VeriVANca: An Actor-Based Framework for Formal Veri?cation of Warning Message Dissemination Schemes in VANETs.