Search

Einar Broch Johnsen

Einar Broch Johnsen

Home
Talks
Recent Talks All Talks
Publications
Recent Publications All Publications
Projects
Recent Projects All Projects
Sirius
Service
Recent Service All Service
Teaching
Contact

Light Dark Automatic

Åsmund Aqissiaq Arild Kløvstad

PhD Student

Dept. of Informatics, University of Oslo

Latest

Compositional Symbolic Execution Semantics
Correct and Complete Symbolic Execution for Free
Denotational Semantics for Symbolic Execution
Compositional Correctness and Completeness for Symbolic Partial Order Reduction

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

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.

Cite