Scholar
Karl Palmskog
Google Scholar ID: myVdnacAAAAJ
KTH Royal Institute of Technology
Programming languages
formal verification
distributed systems
proof engineering
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
638
H-index
9
i10-index
7
Publications
20
Co-authors
0
Publications
2 items
Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code
2026
Cited
0
Trustworthy Verification of RISC-V Binaries Using Symbolic Execution in HolBA
2025
Cited
0
