Joint Papers

• A Formal Model of the Kubernetes Container Framework
• Lazy Product Discovery in Huge Configuration Spaces
• Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct
• Verifying traits: an incremental proof system for fine-grained reuse
• Advanced Lectures on Formal Methods for Executable Software Models
• A Transformational Proof System for Delta-Oriented Programming
• Verifying Traits: A Proof System for Fine-Grained Reuse