Search

Einar Broch Johnsen
Einar Broch Johnsen
  • Home
  • Talks
  • Publications
    Recent All
  • Projects
  • Sirius
  • Service
  • Courses
  • Contact
  • Light Dark Automatic
Ferruccio Damiani

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

© 2023 Einar Broch Johnsen. This work is licensed under CC BY NC ND 4.0

Published with Wowchemy — the free, open source website builder that empowers creators.

Cite
Copy Download