verification-embedded

1 talk tagged with this topic.

Filters+

Loading filters…

1–1 of 1 talk · loading…

Sort

The Linux Foundation·38 min

LINUX FOUNDATION
Hardware
Date: 2025
Location: Linux Foundation

Formal Verification of Embedded Linux Systems Using Trace-Base... Benno Bielmeier & Wolfgang Mauerer

Explores formal Verification of Embedded Linux Systems Using Trace-Base... Benno Bielmeier & Wolfgang Mauerer and evaluates key implications for security practitioners.

formal-verificationverification-embeddedembedded-linux+2