Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Publications
Recent
All
Projects
Sirius
Service
Courses
Contact
Light
Dark
Automatic
Ferruccio Damiani
Professor
University of Turin
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
Cite
×