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

ISBN-13: 9783030309220 / Angielski / Miękka / 2019 / 261 str.

Fabrizio Biondi; Thomas Given-Wilson; Axel Legay

Spis treści

Model Verification 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 Misconfiguration 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 Off-the-shelf Tools.- VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs.