A Comprehensive Specification and Verification of the L4 Microkernel API.

Leping Zhang Yongwang Zhao Jianxin Li

Published in: TACAS (2) (2024)

Keyphrases

formal verification
asynchronous circuits
model checking
protocol specification
formal methods
high level
formal specification
colored petri nets
data sets
application programming interface
verification method
temporal logic
formal analysis
open source
third party
google maps
reactive systems
provably correct