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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Biondi, Fabrizio (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Given-Wilson, Thomas (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Legay, Axel (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Έκδοση: 1st ed. 2019.
• Σειρά: Theoretical Computer Science and General Issues ; 11636
• Θέματα: Software engineering.; Computer logic.; Algorithms.; Mathematical logic.; Computer simulation.; Computer system failures.; Software Engineering.; Logics and Meanings of Programs.; Algorithm Analysis and Problem Complexity.; Mathematical Logic and Formal Languages.; Simulation and Modeling.; System Performance and Evaluation.
• Φυσική περιγραφή: X, 261 p. 605 illus., 41 illus. in color. online resource.
• ISBN: 9783030309237
• DOI: 10.1007/978-3-030-30923-7

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. .