Publication | Closed Access
{DR}. {CHECKER}: A Soundy Analysis for Linux Kernel Drivers
64
Citations
0
References
2017
Year
EngineeringOperating SystemsRuntime VerificationProgram AnalysisSoundy AnalysisVerificationFormal MethodsComputer ScienceDevice DriverSoftware AnalysisSystem SoftwareFormal Verification
No additional data available for this publication yet. Check back later!