E-Book, Englisch, Band 11636, 261 Seiten, eBook
Biondi / Given-Wilson / Legay Model Checking Software
Erscheinungsjahr 2019
ISBN: 978-3-030-30923-7
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
E-Book, Englisch, Band 11636, 261 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-030-30923-7
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.