Model Checking Software
Springer International Publishing (Verlag)
978-3-030-30922-0 (ISBN)
This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019.
The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selected from 29 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.
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 O -the-shelf Tools.- VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs.
| Erscheinungsdatum | 15.09.2019 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science | Theoretical Computer Science and General Issues |
| Zusatzinfo | X, 261 p. 605 illus., 41 illus. in color. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 421 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
| Schlagworte | Algorithm analysis and problem complexity • Applications • Artificial Intelligence • Computer Architecture • Computer Science • conference proceedings • formal methods • Informatics • Model Checking • Research • Software engineering • Software Evaluation • Specifications • verification |
| ISBN-10 | 3-030-30922-3 / 3030309223 |
| ISBN-13 | 978-3-030-30922-0 / 9783030309220 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
