صورة الغلاف

Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers /

This book constitutes the refereed proceedings of the 14th International Conference on Verified Software. Theories, Tools and Experiments, VSTTE 2022 held in Trento, Italy, during October 17–18, 2022. The 9 papers presented in this volume were carefully reviewed and selected from 20 submissions. The...

وصف كامل

محفوظ في:
التفاصيل البيبلوغرافية
مؤلف مشترك: SpringerLink (Online service)
مؤلفون آخرون: Lal, Akash (المحرر), Tonetta, Stefano (المحرر)
التنسيق: الكتروني كتاب الكتروني
اللغة:الإنجليزية
منشور في: Cham : Springer International Publishing : Imprint: Springer, 2023.
الطبعة:1st ed. 2023.
سلاسل:Lecture Notes in Computer Science, 13800
الموضوعات:
Computer science.
Computers.
Software engineering.
Computer systems.
Computers, Special purpose.
Logic programming.
Computer Science Logic and Foundations of Programming.
Computer Hardware.
Software Engineering.
Computer System Implementation.
Special Purpose and Application-Based Systems.
Logic in AI.
الوصول للمادة أونلاين:https://doi.org/10.1007/978-3-031-25803-9
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
جدول المحتويات:
  • Compositional Safety LTL Synthesis
  • Leroy and Blazy were right: their memory model soundness proof is automatable
  • Shellac: a compiler synthesizer for concurrent programs
  • A sequentialization procedure for fault-tolerant protocols
  • Towards Practical Partial Order Reduction for High-Level Formalisms
  • SMT-based Verification of Persistency Invariants of Px86 Programs
  • A Formal Semantics for P-Code
  • Separating Separation Logic - Modular Verification of Red-Black Trees
  • Residual Runtime Verification via Reachability Analysis.

مواد مشابهة